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 a% l / HOL-NanoJava:threads=2elapsed=6.561cpu=11.608gc=0.620factor=1.777zXZִF! 6]ŗXf1-q恈ֿ?6q*تK]M?hac`}VtJ,pT>W)l.DE~v]!,$HR3 }is % HOL-NanoJava7TdlfdWwf2ן\{O۪\¢ڍ=15+oNC\p2F\QϲgcU ܧuO7x68}ۦ_.w*256 9 m8O[e tb[^_{J=AJOX/.}%ѭ%tN2-%1{ Ň+ R?!4,&-Df%ҜU8+ fy~KcSٛ=Ƣ(=ܦ%&> I'Tk}7zܤ,zO3EJ /sw{ȕ(ɥ,%=W"t]v,^o:?#wQO Qs3<<{Ul8WY )F&!Td\7կ "\"qz۶:!g"Ȧ5bF/?ŮF'ىy{)#"'[[8L# !gɭ XtDaH}EBz4&gݮ!^2YX4<-?(Z]eGDKb:\f'byWR2_I1gEuQ4^ 2su\bA1}~&9-xjvv.,]ԷOmGgYZ1ca8ceab2bcf1e1aeeb75aa4f204c70e3e164712 23cf3a43bd9567614514f02efcc767aa225adfb2 2f3cccdea39e621542f6939e94d4c22da2646d7d 3cd5482d336e8c16c374a9146d4678d878e6b55d 4962c8f12e7adb2ec28dbdd9f35d8536271bab09 858ad251ce9e81518a179e536e8774fe58c1d6a4 a7c2e715485235366bf8ff04b60b86ad66155fbd aa3d8ae961ef4502ba736e98c565a263bf295ccd aa58a678c180636017d3a5b8458f178bcc0e60d6 b523adebb74478fba0fbdfd9425d94bb36650d79 e1e3dbe878b5a9fe1c6a5868a7a2ef4b01f208301d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b