SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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  h h '4| ] HOL-MicroJava:threads=6elapsed=56.730cpu=248.260gc=9.356factor=4.387zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NeQsq`{LYBQWK4iyMo*7 ۳EXG^al|L)燣L-VK,&lΧEm'W.:4J*@]܌ Dmz2.NÍ(22P88qK?ڗ RȞ|Ah#aeh*ȈƗ٩@:$ ˪Ճ7#){I>Mm A'd2^07N)i)ɖ\0TML'١`UEb(CW1>vEI}a5|`nW_$"C]d9*X@M8AlLɎMDDIRpf7=ğrbE lLݏvlXGB0Z4 +@kTVGTJ &XOBH<#c%Mꔢ'h2D(kJ!pCN@HinWJJ. =೸+Йy_qPZTXG߰6L~%'G hM, W`;(pTYܽ%%ö([He//7[b'0m4ElI,=+s4g"|oKGvWu )> PN f-7u+Ҍi>jjGukG }(ܓ>D5N|T5@a1;pý vIik'Λv԰ *fU{̋K߹dZGNKM3rѫ*9~kXr Uѭb*;w[pN 01(FT;bhFPiRM4O*7S` 9yn򞋃1/+$ipxFdO%䮠v:qn#n:;EF"su/ lڝ47TI>/?&Un ' HOL-MicroJavaDm]}19 WKX"qT`'˒Sl_>_"@dݤq^R Oz=U'\pQVB˺"g,Ɵ!#)?hQ񳻓4r}jԵ$_ >D <laAr4R 'IYZs#)C5$W$ /wUp:ch3Pda wsivOn9NWJO!͠P:.ǂRӶThQ흦*M\$PÒZuP*KTJ;+Pd{ŠslKA~*6h(ƽ^ܠ08yN/@(RZlDhē$Mn%ݢ]ˈz>zD`!vj(ޣGJ̠qaTNd^F-a-e%Am+DDyqzXYeGKɋʧ+5h/?(bY4}jW[E Ԓ|!I S*yt}c(YF-cx,=vQ^p &e=5PCb\}347-5o<"yrb { >ꯑߍ2y1p\`wim(9J)sq)8H=l7nɡ׹ Iw?mԘ3UX݊ 9m**jobc取ms7<١¾ʈD܊9t,B0?dGXN~3O_d&zDJQ5K4Ґ#+Ƚ)MCLlz'(i)9,H%pr + Sg  zyGtSPnv;w@+=9XG KY 6^8n{>S]Oe9ȸ:q~٭DM$yMpȜ kn&%<[yiI"/37^%mt j6r_bu A7[u{c'<lJXcipDqoφtVOR&U2<{u|;PFo:^a虯wUhθ#a= *\ސnw`wr՗ƾ^ĭQpȘI1n6wK:Ʉ4`%k.`i4mxj53ıbӯG~YJӑ#٪ L?8T\+ u=|OZHԬ7WEV]>E๮8Ti(?ͱ6N(lxI1y\9SU?ANPArjc0VN-[^o^@ @ۮ`&VKۏAM'8-MC}ԨG ط{pF"iQƤ!e*c0-~倧Dp,bEf \4aܦ[(C R B&eiv}L=GL6Kg7Հg`2pm>-0E$d}0 Ȁ P>=6A1L7\Ve8#;I#:->p`P/6Meaw[_s'>Ht&$隧bo"mK hxDf^j !͝Ҧv0]s0)d|$P%ol4I&}CUV'2p{'͒3Y_|spA=_@fQ=HEzAڙ986dlwѷ' _#G^61@{TY}s[Oa&⡬9fv"0+b|Z蕝s mnjm`m#PuzC $25OM7g5BAW,I93gN - ㇃ dԴ:H+>y[`mB*;|TH`GpM?Ѣafv z .@NiY$#ly 5ZA5m ׫͸[7Clm =<ũPbgYZ7zXZִF!  ]ŗXiɟ1%c\aE>A}hN?wڮFz Oע,佚'aiBԿ;i+m*EWDc*- 7"?e{vU'l,!b*T]n@b,7Abxnrv>2%34-f=ueT@ݮ0coA}l6=cG.Gt5>uGkqlk^&*t7.Dh3$ÅgYZ7zXZִF! ]ŗXi%;yp<=fKa i~E*o~7ݏZ!R 5׮TZtpE P]? 4YUBft ~5Q3o AE[[,ZNBP1̫ڞ>úy47qElݫKpSL0rape[@w5" ;Kel qÆm^* YR$ dvPWC~^0M[Hr_C )LZyq`R^p%I^/lIe K1"\4LD q3! A'S퐜  n"VIm8Qós[Ϡl6r\An8"pZv.H=9x~ώjۆ)07 b9IM:๯tݶRCPϱ_T@x X *٣ ts\two<8RXiu[cu5!)@)HOFaT>3g"8!bC~si:vs$o^/6<˝![.Mp3:Bl&itlDh5T o!T"di#X({xRf&&mB_c lڞMۀ PB^lGn!{i+;"}NiE&zZ~ܺC]Şf&w鴀2ۏd5'[' !c^Z0 $G3oN`6NfDN7QqIscvo<#xg.=6A&J,4N:E Mh+QUQ$uwD#׆0yu^!1UnO<4Oc@IFFIcA\ 8TrnL:U sJp7*T?:֥q&-A`GqFX$fz\C.%`h]+gm*PG˭.TLe2JIPͺͧMU]is\gJPA,PFwȤ\ilnQ?}D7@kx&2Į01f[QE =U5G8+;A=u->>PÃpNu3C7@;)]ξƙù ~=E\7HP{b>7 oL}VJwC꭛i55}t^NL \|KsSr9 _IqcpaZ+5G+8QG zʜI= u3|ΫΊJ͇r u߮t_b3NCVS*ƋAu#oE˅P]asJAxL]Pljc3@59ɇZ*at >Dh`(ӌ/q=Ӟj fר6&1.[ۥ&܈Ki%ORXw\VC7"6F l Yˊ2B~gБuτpI^xQG' T \wA@A_fO()"Gi{oY$9[rT03hZYDƛwS8(N\1nP!+2͹w9Rw4_?ni 駶{ #dd }ˌCz4rJH,aǵT~TuQBcksg9Jr!`HbsVqzǭmN zs1~lۤIWnQ+-Q0$F*d抩jBE,sf. }]lu0L E2'ңl$e`![Nyamڛ>.:ٽgGh*,?˹`cdsYC"h7m^kİఖHtK`Ei)ZnelVG<;ޙ+?Oڇ$71r