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  + +J) L,l ]S Sort_Encodings:threads=2elapsed=51.266cpu=97.732gc=8.316factor=1.917zXZִF! FL]ŗXf1-/6vR[]+rPH[yk)163{+x VYRc'q|CACE$R3 i+(Dk/Wc`]侏I1iNGrNnp[ 4zk+]'Щ#? t ZN`Dz U7BV=OcPʑ EҴ̸uLXb(|ӧ (w`?YK"Ĥq5'^:%̦ft$ xhIƘNgkXDu?dXYļo5Olh3`o";l (T8b: u(H4Ym_YSk.bUbᔢ=FNM'a0lǍ܇eML) ˳gqk)?3Ţ$Xd@`%>l0c5Ƴ:UP^6vwۜvtme]|LM%>\vDg*X D=*V< ~/&6КbEnZߟl4@$sWphKŘIki gQx*]i(iE{SNz̋zH ͉߻e' Ϸj'_9-/UdIX؛GZގR띿E=cI ЕRxwb;0`o(Xx\ C}t@Uch0 p *!CXq j8332ٷ2`uk0f3IxT=,W?y75N,_O-o+&p7Fh<?^xJq֬CowZa7{2;rsWj}Er…kIcY'&„[0ZaEWWn5|ةuʷA,&I7i*0P`;F&5\$mr55{YT5*(KY IOuCI`kh'?ƾp`1["I>>yYH'/XЎPA0&S7LQ_ %sc6\H jvU)'6PÅZЖ!;(L-SGF5VZ!y#Ȧ!5_3;)4 ]&up1斫neU 9_2wl{I*f[uu}g|AVvh ͌>gYZ7zXZִF! P]ŗXiɟzlk֢UzYFFLhAI.k`?KyH&%%nx Cޱ JW|wef[|&H77ynm/ ;vMZe⾃X|nT2 R;6H#y:fc0ʲ}שhQڤDW.%{cD^9OQR>  `DcآI>YSKAq]ã;QC/>>"4#zSE4%vagF毑pi%w˞7t%H¸ ?b#|/ר?I|?5\5ʸZ)C 6gYZ7zXZִF! % ]ŗXi%;EHPH0ѓp=N,CB,f+'.ߎOwU(/ޑ(^Å2 Ĉ4Tk[D/yIīQX\W/JW^G2=}m{fci ÖRm.pmXgC~`( y# bVԪаײh/6¥!LV[E[OݏRwꄣʃU9څfͪ- _ρZ<Ŏ˝?o;g=w OAVż)zu |8$>;6IσjD#k#Bp??r{v6Ԛ4@Z6CYeXpjõjvImʛ^{b1 ]*J'hu2T:8Hjy(Vgu<~V3L1E=+I0RHgDόYm嗂X\(2nzԕ_z`amz="uH%+&~I6ͨC<#0śr]Fy#O663j3 1㟶b{s>%TJ4X95M"lHgܽS n6O6gu8)KCcFz|޲D W dFȘ5\4\(5OM~w%MzE3Ca*\Qs?L"(yxÿNO^adЖY1gk$ynqPej] /X;3$B>gvX")E,Y/b`VFS:@!-r:~tO,gq|54uƸ mP(Qmfm^a<qP =gNђ{D;&k LH9x\K;#ɿ#4sEJ'3p;S[y <4ؾәbu6Po;M[>a4)phjgYU?#Q^Qp%mLBo26ǗhsaE-{] ij[6BOkH}12=lٌK.e &WFjzۄ|ƾw.us"݊I#V(.MHf4Ђ)AHpn!XlAXт^mpn:a_~3ԃ/6=8>yPճDDy.Rmg.% G;h:֎8Ŗ߇śp‰;@W( XHݬQF)-57 jHA Hc0R7JPܤ߭Z'J]E)bևԗS\],fߩB8=c1ZV)=ݬkv9a { H s2KweVxUތƓ_`eXAa74DC3kiSBT]}s;c@w]t5N!velܮ䔋T`b zEh џVSbAo\]T>{7HPuO77UݮM,kE l7cu&[LpW? XQ@.v mQ_UA^2?⋕z,۬hz4_VW{X5c"e.@[svbڪݒfH>cD1 *}֌)&դ&:x|pGmpFdO'v׸gH-HDrեm b6"Ӑ˖*VXbl1.dFe$ axǶDBXnM:tѦ㓭+FLE|,5!l+ʹy#nҔPdy9BkMċ-@̱tBEzI8 HɈԖ2h駑/HH`R ۧzX|˖P3lT[`;-#d/ھ*L VQSm@B Cԥ'ŌybYGT𣫛vհ"3>OvGW)":ˆ2x+˼ƱJPR`ȩ8DgYZceb777b6a8c61135a86b9b4ad0e53d2f9e6169f179d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 f9e16bf7d89bb1c6af5f5be55934a4b363825ba5