SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  ht< / FFT:threads=2elapsed=1.471cpu=2.752gc=0.000factor=1.877zXZִF! ]ŗXf1-/6vRZ;qOYxqWgAVľb_h+}7 &G.X/'\vZ]Q hx ӒCHZ_L~zVKdʸt^L- 1ujC5|zmK/)OhA/18q}&1GfS05&Rےjx>˷I{. o+[x_A#r!f19AO#Jw #F*{~ "se) OBi=O 48aqȄnF7ţC5DM;șWVe;aͬ-,ZiUs';,FYNͲI8dʆD#a/I_pP Nl@mW|+}Hǻ7z<*|d Q_] t⡉G[;z6%gYZ7zXZִF! ]ŗXi%q19QBG)1*Rsl],! >ދki$ױ5iB rګ;$/n1ƫgP%MPFbk,Tjqs%#pR{ { )0Y=3*IaQM}ָOE',%$/}6Iѵ-v'u/`EBXC{E@Jߊxk GEf\j`F+~X툀&WpBHȬMVldVh7s7zOVXo+}W;,e#T *TX?Q&ޮ=p5^ UF Ir:w g%La0q ˱f{d6^呂ԣOu:/Ž!^u0Y~gыneؑz?bHgYZ305ef7076f6cf9ccf21ec2178b2cfe6c7a3b3270 e0b178794f66b53cd29b7da5757fb54346e59342 f1a7d4f2fd54f44f5a109392c4ae8d01063b4616c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8  FFT