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   Q% L / HOL-NanoJava:threads=2elapsed=5.986cpu=10.328gc=0.528factor=1.737zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac`}VtJ,pT>WaVEd+< % HOL-NanoJavaV (`9єA@ H6sBy1)G6faY|VOToF]WO n^w5o3SJ"-,JwX2G=NggI$vh$}44˾]JHs0KD0\#,Bp‡"$SKVQ HLW͏dKW8_|qmmM(N#BzH)krst;Iރ8?A~$93PRq~Nڭm]ҴxhPSɸd,hQiKffu 9LSYBEr;NV}K,Q+ީR ݧZ"o=Nc;xl踜ndDS$^,lZuRE%a+ot35[Du uqSSb0x]Xm'x㒹yДIPB| |n7PRԳg+Wlbv as3ָA+aL0i[B xfEiȥ[ 0x婳ZSMq}<+F(oYI|v⿾3ޖEkX{؎cw7WvY Ǣn;/RtD#ƝLn-41Ji탠?Py@7tgYZ7zXZִF! %i]ŗXi%CkTfI@.l٦WEn/۹u/!,)GqAڦ= 8< _ݿ*7ek[0㿊1V8|p|CL(_Xn@yʨQ{Gi/:e&8˩Zy wQ(U[c -Da}!qA1KK0Uxhw&Ȕ9RTDY%C"`\v"`S*2Qh5.Cf듀mv};|X됬XʄvEb#Z ꓘ:),Hwgc,olNc\Gb3*8{4KZԧ_"T.[PdV9l[;}:e`2=H꨾~Ӫﶎ)lwn|5`H9hOD'RYˎ''/HC>hH^K+AhH,,I{iwy>n(a/{6ڗ@D@ ݏs[}\8JT`ٹWl~AOҪ5)ʞ+tR (RXUJ")gYZ1a0e861d47426aa199a7380a5f074ed02d026876 1ca8ceab2bcf1e1aeeb75aa4f204c70e3e164712 23cf3a43bd9567614514f02efcc767aa225adfb2 2f3cccdea39e621542f6939e94d4c22da2646d7d 4962c8f12e7adb2ec28dbdd9f35d8536271bab09 858ad251ce9e81518a179e536e8774fe58c1d6a4 a7c2e715485235366bf8ff04b60b86ad66155fbd aa3d8ae961ef4502ba736e98c565a263bf295ccd aa58a678c180636017d3a5b8458f178bcc0e60d6 b523adebb74478fba0fbdfd9425d94bb36650d79 e1e3dbe878b5a9fe1c6a5868a7a2ef4b01f208308c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed