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 &I |D ] HOL-Predicate_Compile_Examples:threads=6elapsed=46.910cpu=148.956gc=8.920factor=3.187zXZִF! ~s ]ŗXf1-q恈"3UUMѺXS8*Up& хv+?'X<~r#$c}Uvc<o6erfJ".s4I pfw\/n #aY>~c$hRǓ_A6yVՎklb_~iU+bg jޠrk"u),as} Vlc+ޗQxx|9$=vUw ol ?+ϭ ,bR1X6]2lRo$֎ʼn X UJhCb/ft%k`n41>a }qѫP 4q 18HUb"WqTH%,kOO Wk)hR؀fg;pyQk}of$YtM@nݻVC jcgi0?r`tMϾϲ elRd0"-tpڬ3{;K^)jENH#u?CS<_3<w2︺Ow -v k ȝ}t=GLT"\ 3ŌΌXvayZqje([Lk5B~YX/Y>,54s^XJ4X%v3""l0)i5, g֒qp@ ]Vb1Ś ]~s^ ${[oy+o )Sxu^Q;nY*7JwBtitVlЩ42^+gbz-taQ"B~{y25DPQs%Pۋ v.Rmd6n͝c/xw!4$10 ,*N1,%M>[ߢl Qn`4 P<$]<`O#A⎀e<aԃA<$NFc0>q ؓjg~BN3ȣϦ,FKFW62Z&D[ Ëgi=5Acp2sriLJ\ zG5r0uH* վt 7L]fԌbrK/(;zD/ՠ LOTv};rё)t&y *7Rjm@gbCݤ 34Ѽmўǿ{0>y7+BpWvQ^oCYP~E$9o3<\6@F;GJ^'t]{"`ǰN[$5RO< .mO ݪPЊ1͡1l8:vdN}&3!Y,l]K^"1 > w ],}~ik}(u,)%&5E>:U/FKvߗjM3CFiع~<8)~ t)Pi1ܦ fjJE8,$+2U9~SBRYFpin1^rUsS98 MAa~RSz]zOQRWdCHxmJk"+JΑ(k ;lzw& ]eT/Ҝ]_^Ի~-H[>OLY^H5΄C%,x~̷q9'#Qh7V&2(^)@QYh5ݽ۶Ȝ6\{֋zс..CCH,If~z- UT>l<6[7*rVڔ `:RjE#}@e`d ̠"JgYZ7zXZִF! v]ŗXiɟ11"7l>_5N: [J[AP`g|!:`Xo5W !I HOL-Predicate_Compile_ExamplesE(P?$m"G:Q;֥|)1eP7=};E}MCLHXB/u^*HQcv;UM:. aVFp3 }uؙ0Fmkt*z/KY59}7Q*!Tv8G%M1C`N!@w +z\A+]S Ьn0$H>sv FrӅ*'$EӁj@c;^Ms8T,Bb]r#1|l҅G}x08]~ߦ810Y;Q>%%muC( g"v#dWoPуA.LS)W7eaGx'(s2~i.\B{PԳG_$EI ^$¶4s)0ͦF8)~Kž,eH:eW?/FbJ Z}/8hS*BL'.kŽrrV!pq\x7.\Z1``L( ?d>!e yB٢F;3~w|/  /iT`Y_G H0W)XdK*guU/[0#ɤ[SKuF{ *oLEZ%0G=<^jy+7?q~>գ+[2zTrb ONkvR]452ْ7)}Ez/W¯aIL߁Z2(I[vYfT_~Y/qNzW}ns1>t"J;Ԛk` :̦ d夁kÒ٭d37_)Aoy*+X4#96\iz^9D8n=]ȬoĊ[?Wv_ySjQϛǼϦ](/f't2wLՈ qH&w$s;{x"nS>g}󒲹܅wP<],̤遃Wz#SvB*%1tԁUim wt Z^_؃e&P63 u:p=O$x/7fjs$$Per_iϛb˴sT33+Fz_>j\8 /];x'N|:,:#PWY|t@ľL ,2?Wd{Sj.d+&<5]>JevUz ^0[/c cBH$T®9(_Qœh꽾0.j[rSh*(a!qN/|mֵr#: ;9-|$,TM"Mi^s3FSArO4͈3M^n&+aX \ @2YPF!E{AVK߾"~ hS>{ù7,kޚ-8ܞc)T~eoՎr* <:m2Jn.ҮScSveYƽht}Lf١;\ڴ-3g#