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 5% 4t / HOL-NanoJava:threads=2elapsed=7.190cpu=12.336gc=0.632factor=1.727zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac`}VtJ,pT>WaFt(fzOf)Jz 6_ ȱv$w.M\ ;6)B>i k7L*SFFE±t݃HJ:Z Xa c\0{ = % HOL-NanoJavaheZXz#M@vw>u".8Jm3g&Ip X]($"4+6i$; gAMqd*#E7!i_;W iiudscԄ2hFO$?XTiǔ/T;b~G SlCם] =N3nr񉏥5GhTkAK€)YކAms<V Ah-룊K #FH@HGY]1n,q&h3 IL@n;iA}歷Z`#\vƐm/7,&t925 hGشױgYZ7zXZִF! ,h2]ŗXi%H #rD {z}?hz魓ں H8d&ٝ+Yot 2 w&Uā@{CEO,/<}s¾VW} _C35`MsVځ lN}Ifϓ(}Dm8&ð|6Sebf=$ I@k?n[o$$;2Xo{Ar^4(M6rF|-?B>bHt P z>QyEtdHJbQ/u@}44u}=,[XJ|Ǯ㕆^t`=4@o@,-1az-ɴ96i4ITB`գ!5xf\-L#~Oӄ$q_UllрDT#x F^աx1}~̳y QռKyLdE*ؔ :2"|҅qc/p|NtڂT6- a esV,ubws~»YE-Rj)"m^8V9ĎdX//gYZ1ca8ceab2bcf1e1aeeb75aa4f204c70e3e164712 23cf3a43bd9567614514f02efcc767aa225adfb2 2f3cccdea39e621542f6939e94d4c22da2646d7d 3cd5482d336e8c16c374a9146d4678d878e6b55d 4962c8f12e7adb2ec28dbdd9f35d8536271bab09 858ad251ce9e81518a179e536e8774fe58c1d6a4 a7c2e715485235366bf8ff04b60b86ad66155fbd aa3d8ae961ef4502ba736e98c565a263bf295ccd aa58a678c180636017d3a5b8458f178bcc0e60d6 b523adebb74478fba0fbdfd9425d94bb36650d79 e1e3dbe878b5a9fe1c6a5868a7a2ef4b01f208307f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16