SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info tt}% $ / HOL-NanoJava:threads=2elapsed=7.283cpu=12.284gc=0.748factor=1.697zXZִF! C]ŗXf1-q恈ֿ?6q*تK]M?hac`}VtJ,pT>WaWwp;rPrK| t{(DVzK#'B68K xj/ȗA1nF^^bmoæo.]PL my͌xԜCn Z:dനoiPp3;?ICѧF|F̵sWvN_ƭMG  % HOL-NanoJavaN!mdEĦe.k/OP̼{fC>9`__f{ >l[)̡> 4 EtV8y?\30Ϯuʞqcxhm!X[t*sWb%VI-\G8[+ym GTMsDx:*RRE&9r㴓r>9%>xŻR7_)+kg^,Tl5*fkA^z;P7#[ҳqۣ p;U Tz+"GuU{,lH)e?6$uYLGOg KGl`TvvD,B6>rس4ߝN^<7 umNjsne-Ծ*VjʍxݟYb TQi=GvJt%{f`l[i 44N"1J(b=].9җH5!M#+!97 hG#Uf.ؽA -h쉤OG#^ذzwp+/lrk?#r’єa3&H_xuqJJC6 E. (T|iHz`٩'juP#<.$szuT9n;8='!0IY:ֲG'Emu*VB5Zzvށ `Vclي.32)eRav ջ&9XGڼ` άk\U[CF}~\LucRS7ar_+WMV!ZmX*/gYZ1ca8ceab2bcf1e1aeeb75aa4f204c70e3e164712 23cf3a43bd9567614514f02efcc767aa225adfb2 2f3cccdea39e621542f6939e94d4c22da2646d7d 4962c8f12e7adb2ec28dbdd9f35d8536271bab09 858ad251ce9e81518a179e536e8774fe58c1d6a4 a7c2e715485235366bf8ff04b60b86ad66155fbd aa3d8ae961ef4502ba736e98c565a263bf295ccd aa58a678c180636017d3a5b8458f178bcc0e60d6 b523adebb74478fba0fbdfd9425d94bb36650d79 cb5ca0d57fd483e1a283fb33b23d1b290c007e26 e1e3dbe878b5a9fe1c6a5868a7a2ef4b01f20830d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5