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 r \dT ] ZF-UNITY:threads=6elapsed=5.309cpu=26.028gc=0.916factor=4.907zXZִF! %]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb5ꢾhH%ŊEU v[b(KYoT]AsExZ <~^JRD}IpoASe [0nxH$$Hտ++0VOyca[#=} b"a4AiiV2JP㱾Ma.huTk{m 6,g1&Sh3{T`o&P!yt1UZ~MDIK%-Z͹0NZUni?()Uʯ@ѼѬe3 N?7;BZg`Rح} L79c#*|Wb;se zJhQ `MkGZZfK]}KT! bddʹo+\<||0z?X 1]gS[nXgYZ7zXZִF! hj]ŗXiɟ9 i:4V;}A<<ګMP78!PAwt/󏠤0--NQ`""7q@#3z.ej657Γ^f{,!Tnh6#z<+вE%/؍x3.w^EC (X}ޢ>7(+l}!Jo?>( ">Jў/,Kߝ%hJ)ø':d7J|D=jnrْR8%T8eݕwpKN1= n2yX פ>g~R0B*bgȂ(VR gYZ7zXZִF! [#]ŗXi%90')Y-͕ kZ輩z\]ݑ.8{ 7<!oL8=  ,LoIeZ$)6R@fC3YS)nThِ `j9Tu|&O7jUAY R.ns D( 8҂}N֣6htLt!Lq*S'L[ HeL<.b# .̮H& =? p<#H~Cƺ{`e#?I+j 3[e15/a7Ry )u:/y٫['ȏ UWi满|b"-řW]CTP *Z`WXq .]L%';Qz1U F0-,GF "G.H>h\=Jg" /,D>TumoJA{/˘Mтy`'}ckqww<t+=ԋ3D _h!e|SQkB[-&;Jyt_D ?.Z!mC?OTF #rpZ X$ص-4$vQRǚo\Zw!*HM9ZFINDc.!{D&U\#Rm!P@I9tLlzk)u ]` &ҵR/?l?1G !LiY|EgJ-ForwH̓ Y 82sgYZ0234bf7e5d24bd02455360d9693193ebcd3b7752fa37635535c1a91559f94a7dc9acf81e08caa63c 85ee661c4d2307968e9f21cf7ce51bd1f0926f7c d3640b9b4d6f3a7cad415610f31b223c16e35832   ZF-UNITY