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 S/ | ]/ Dict_Construction:threads=2elapsed=47.023cpu=64.368gc=4.600factor=1.377zXZִF! E]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo= 朸'kvC eyYD d۴ŋh4.%1y#WY-fXerؼi(A vg0]ΝFd mLPkIXP&\IxyPpD/74"Js<4#Ά/Vb> !y UL3A.䎃wI=U`hql-KDrsaqKH"i4yn1kX%Z\} 1c`{l"o8 n%Q]A 6v716)6jYcVt㖷qBt_ŕ"Y '+dDw1"Q^UL7?L8Wq/Uv2 x+;h =ϪOX.d"7o7Z-MF;z~$O.^.yQ[ ,% K wCoƖ1NX=|ŖhB$N4C gDja Tl!7'Ld~ZwcXM;J"G{u?S?o8$cYa6廝O+TMӋVD?N-(i ;u՚VBCXL:XPXv\!R®e7r{.G-`;Juvzx->$JB'5հA;E, a *}KTI : p0!9V7,Ψ $!Eɦ3@!(Jkh B50w`I*=77o>ӥOqCӸO,T(rgg6ax VCCEuW6KFDIUwIb=.(%֍hR*[qҁj1hみm:[ ܱ2ev5ԹeAQwa\+;ȥj9{m;ݳ"4ƁIk}HaI0b=V@qP6}&G%G27n+-k(]Ln@wUKQ꡸* |jM]aQA*济9atWF$7IrPrZ#VXi ETofߩv% 3|#-) ٰz)XL n 5r] qᔃ6cWXOhTFX\55U5k{%ӇyBlYW~v @5rOvyhݶ,pZ}36c@o hZB[hXl͞' 䴶C@h\++)4BrR{3zzB#(eA+EvcL `?D{R"} Z%Ga ʹ&0Sy.Z(\/0|DFhIE83Vz_Ѱk8;+>?_;;Ky"S)_r`3c Q+*W/ߤ壐[B9'|ҟDvC>?~\fˡEŏ0ƩDg R A@Bػ'n< T c\,Z_c힗WhT¿(yQOw4cejiA179B53-NHbw1PnKv)aq(4Q8-=}xwI;J6񞳜 )C-Gn *_y%bPޫnIL^M)#Ahm{ ;b<Dz waӱ2 W>|OhG;ޫ ~%m&Si ;q4Lealp#s85*+$-7p&@2S1\njF|Rl88|w> "'m@Sč4>F TX3ggc6 K;b<gYZ7a05ed53b14a2c13c53f9c82f961b569d2f6096b79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef / Dict_Construction