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 wwj tT _/ Datatypes:threads=2elapsed=59.411cpu=94.556gc=7.060factor=1.597zXZִF! xr s]ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^.ʽG|>AD n88QוF$DS]EbW _(lNC t3}cJ=ލ*j0\rA*ValEMcfdWD!Woߒ\+'Ze1(ԛ\Y[R\ݝ``{RD? 3dcGDU4-(8󮣵y CABѧN&/[YAP:=D:Se':bZi31A-]MZxJAyLG!-vH   Datatypesaq&bn"xܒUlQ2>Ά@YY:ƒa8dmZb{{W;KH*[!dh'aÖxO$`%/|zYH ]ӜjS)HٷSoc]/s$0?6:skL`[ ͎$OTaM_2#g:㎧2 &M{q:Bvɣ2ϓ,zYez#ѱx)뜼d\8 ĂS"ϻ'F1`CA Rg'.5G ϩdtdiia&n]]|zG~TRT^;Բ6:nrf4Gdž-`J&y\i zCZm°4<몘l}~ *%JTcǞҒ"9 c|)-?ǺiHhU5O:>^,4NEzqS /& 1^/^RZ2)cwIm)|YI[ͽA&EG X 3v>zҷQNHF8+vnZG/`hW/Mf_3`nG[ O9x%h(ӫ .K͍Q?ll@?66t0:b?6?=ƛ8ݮ@]p9"Y63nR\QrS+-A%{_9ĩ%(n񮔬gH4V}O<΂04N|U}aPھn ikhq)gx+B1~S5Ԭ:t Lqʥ0_>gIȉqw d/ctRcן-s]]ʹ j[p=nҞ??ncx7k83}ò?n/Uu#WךZqˢH`1kx&Dz¸}ȼD`G ηt79UfHhл aCzrBqCڡKTrb|i͓F'>ַGCgCziZ¨\v~%:,7=ߟi픀k~2C}٢1h-S#ӲYGR>T&Ap՞Mh~ɰ'N?2k]RŌdP_3U+[ ^- 9ׁ:M͒=!ׇ@df`?oCxy&?bȦʹC2Ҁ(g#2!ߠrtrf!zZHWXs×cIޟ39 RB&X=uɁZ@dfHd3 }"w[2mQSzB|A&ҽ>1뎗lƆZʓb`(3*l@#-ӛ%G(0[]&QIDV=퐸%ƿR7 2]gqib_Ѿ/4'}˞|*R~ьhȅ\nK46~NXmP1@agYZ7zXZִF! ]ŗXi%BZkbRju tR]"+i6Z_"JO|iU!?InWɵ}tuCuP}Hkxm[}GJ G&+]1h/u A6/f8rEM;Q};0dՠA5'Gh5(uFۇ5LR!U`7gګ')l4cSض;S DOg>/ڞ=' MIb!TeuSvY;6ci Xg˭TxtrE9X1LƀFp,-Ac!hDZ^;h_W Ʒ m5*US2L_՜|b1 9ӟ9k -Thr+~$>^lMR]*(v Ī2+>3ρ$GԨ O Y_M.+Uߡv}EYx\M zN c1gU=NXRt:8O&@&er{e{Vb%Eh_&#AtJ$x}joDzPUps~*ɱu[s\4MBTfoʌŤЍښ)JqRuݯstm(Z6P|~LW9yOgw69d el<<4_W^'xXu`PxDyN0%{]G.HDuliOr& Ϊk4iC˔/b* X\eiLj H$`{^FǍ[S_'nm,E$3GYDbX@,rM+ `6dBe'x9-uD1"K`[Ԫ Su;-_ f/6Mɘ-Z7/ybq3\]t Rw]C{]IA3 "J^Mj`Z<W\>6st3D"uɍGx#eBk4*&8,>KS>-"qqIT%z=Vۓ :\L!SNEWt ʾ@1:@(e s>3)Z tb9yVLAg]S5DK?*K']Bh=#VQXmDLgHizԸ9/ΪFq9VS$ɡ Z#O1# ~lU'ꕭoGhzP|"@ی>vZA\xu}cg}PJx!eH%N+ABzmܓ,ވI~.]kuy.J  ?&}p4/uxMk2HQ2x I Q?]w!24`UZʂ5:Z$N"'7hx<Sqn0+pҽAHx]fZuoV`ZhӾIӅ ?'g;775 8Z΃j'| ¡^<ȩyd >L=~(GQ|meYY6 o_V &gAD$DcSMl޴z2֗́'6"yY}r|'E9~)R KfpsR!v.<$ nq7"ߑ:I7O>Ġs `];.Kj{yA ǥ%hV+\8TcQ2i5YH3{ bS ìgvɯ\Rq~AM~4@=XE]hN-YZ1QکWH$m_p@&l$)$iWD &M,X\by발g5k2Fq;dZMG+Yei=Ƒ,AW|h"}J)X㱅3>b}ѥ Kgza֯vmK-,JTasu拪>"TN^0 e{BAM3*Ab h77QL<ϳ)B87LC6^I+MQX$,.SL6QbcTT2HATGoMp!bDs