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 @) dT ? HOL-TLA-Memory:threads=2elapsed=11.423cpu=21.472gc=0.572factor=1.887zXZִF! g,]ŗXf1-q恈&5v)w3X1sNϟ_&ԥl [$1ΰ IcPKKƷdU sy ƨ-KHMq$ÙL%,_*]=RZk`÷\7$&ZRZX6%v-_ez^(,=㒜l&5ډ6R;=3Mݭk#9؇]aU/Ƈc RN3=yq}PZrO *Po[сJ$ 2.G)${4Z]ƶ!TX/Oԋ0G{3t$} %+|!@p-D8}k&Miuw!"-#IO]<ū^ud0wUJe-=b.tC@flAP/S^^ 2͒~<*^ ) HOL-TLA-MemoryPtxIMr42KVz8{9O8()iS<~9P.:?6N $7[&;Wo5#g)N0o5wH+u=/\%-Digw4Kwl8q%pmQpּ T*zL*]H,LK%فQCE0b.K LJ+^o?@1 zO=7X5A+ ,]Q#9t>g9pnI)->KiZ)6,4DrNfbݠ(=E].VjC8y_V;Vh?SQZ;HvBB}$J"8 zݤz:YUإuJ!%w5qۖM翯!zڊ_m.:J0L^kG9n*T"Q5xѐWm:x8r<hNΟ$#f+w7Ne52@΅8>ss7ygjuq 53gLH8a( VrsB bf;+֋|;[ф51NC}(|&^D!.rde[OWKpW'~WY?<*G/ a8 u8'"=> b(qk<7Y Wז`:ȩz t =(H?ʮ0`Ǐ|z4~1- ;gE3POEbC^ C`į`vhA}}5N?xiZ1kg2P\rw|Q#$Jb7t;c~RgHī!3%%}(t|2X/f 8+EEςsy\aS8OӇ LFKڟ_m3XȫT%$E;3R)YDWttG݀ԡByp&(ZW.zl a>*,I|w*coY=NWb;%_s-JH%d>lwu.`6҄v1U7z|-RpMO 0+=4? G>gYZ7zXZִF! 8I$]ŗXi%#e3s_Vu;XR޹b s8Y̞ }g16B A6Vu$;{n,G`yx 8N2^Nu1cdLd7)o+*)k2'U쯣=۔uuS5;  6DcM" aO͢w8έ+.a]Ffa }zT#6-vaBei¡C.I#98@s"o+PcZMUNˠuZܑЮ.8HQL;i "AH.`OCQTWrs4lOx%ǒ Axik&^SjVCfUJ8ўpg ?XMCǦDA"rςzSd&H) c /O1*\ol5>2.[]$2RpzߚwP`2([" ޟUҹ`3WyQ]unk,<H d|ef ƒrr