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 } L<| ]/ PLM:threads=2elapsed=31.656cpu=52.672gc=1.896factor=1.667zXZִF! )W]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nڔ98u㶽1IePTJ(΍hҽDMipPM,^"y,Ё vd/;LwWU ©IZ1}A@ Q?xpK!Ux/od́Q,1½ɀӠ %EXu[ IѿD7X[ "6(I5(QkKTzʪn_Aa=@ 6  PLMAw8em R꿉Og },x ။1-pwPG˓|89ˣ83K}_<ܓx?}|~VO# B?Q0Rװv_`\}2~?!Fnd`H=>Y m~f>+YzF3AˆIvbZYxrVG0VuL+ZuNgx8ע2SN|;3_{#,1<'#L_E,> q3F+gQn e9>ɴ\% Ri8za~hƌaNO/`@XbN#UָL=,oMKtiD c@nmwk¢ַs(E^#2Ȟ]XC*6,(mz5+#9DNA|J_WiID=جv(*5FUu:(uH9AjX?M*Heb"`y*;9p j9s,/u ̏$7&)橂1Bg8qr|fW , Wҏ/[/x XTU" @FԄ(oh{xz%<]Ij`MfV+5c>6pz*(5Oև|xUQ P6ɈEtm+60;l"`[sHez#T,q4(^5q:tҘdԗhZۢT3dGWlT|t3;to\$ǹ6 ĝv8/@ ^,Mp6׿*pK%o;EO޺צo[_8h__;4)T~['PYH3UN'^L} f};P5ewEMynnF t(o<@\l\gU=)2}7Ƶ'\sYUxˑs¤.upM3mmfY $A:૳c[˚_k7x4 ԔKQ;`T5,Y\Zx)NmR)y/-hB Q? N2c5zOo`$Gw#EC0w"^zZWܫdpB-kr-؅ ;'3ȑU84oX;6e6oJ1sK<%<ޔ0uY fSMA|[X[+C]S&H-nm73gs13v\O/~jǒ # -XaZ3_#p±'+cρzvg}:v"{Ɩaw=y+~L/'g(Xz 2\Y{Rv%[4Qx Lt|h۩v\ऍouadP0Q'#HBPXzۼ:L` ʴX{JaJ 7\e`#KWo틔6OY}fj ?sv:X8Ҥ1p<;@AٱΥI5.ō!ppܫD1/4230kW`#Z@*L~ݾn] ez}S$,eɶg90܎:[:F^g:4TΗUGBo`K#WbnZXGҐ-$d\ڭ>gt#|_ 5G4L%|4Uͨ3Df^_vg4Y,~ V(dak`W4$HMw-bzU"%d?:{sXs[3<*Ύm%<,9A@7BJ!\&U@F U ?ܗ7{3!6[غ]ANϵ,$ȿO8wߴDQH(],l۞%l\UH _79ڝl+w:..h$4 c­$zQnt $5f^6oE9O-J屁% R&%>s8USLش)4F)\ZN끐x\>dׇ.CW ,e21c1qM3EW +Wh ɗO(/ 3F+#D9Ղx^gYZ1d88106d328aea12a588d7c7cc1c4393f3993f6802339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951