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  = ,\$ ] Incredible_Proof_Machine:threads=2elapsed=42.554cpu=83.684gc=5.624factor=1.977zXZִF! H!M]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nԍ-~ hwb;] ǝ {|WAGQm1.L|D}h!8Ib[Ko%]/9@-։Єg \(Efa"UuCCӟE;h#>S|#@Dqkݻ]ӽ;x4`.Ox蹗v)1L0G$"$w0,}YJb;f#3}qߌ,4jA1[G<=ɥB}Ա׷ߒAPyxG Wt<y҈P')!%)EU@-8/֠ve7\a8w"̣$m^ ^, \zv5:v!8=iR~/BkZ% t P+JFyٓ=D$ 5^7o*ik&sWN^-)֥Bw CI0ޚ Pi6u,b/ AAAƟ-"&g-9$n,Mk7oJ,I(9`5Ӂl/6/L90hIW_13=XLʬF ٦\} E +!'\nF$i r_Ϫi?&\7̍>yIzX8J c;NB̼-=Q`ZпJ0#3x2WRP07AZܕJD67~X(.*ڑ!| hY|n^]LT:DNŝ6RTêpq t.stا@F} Q)BHiAa_^j-.~P([\A=@ФxX5xyӇ7:ե@ ؙ/ +4gYZ7zXZִF! ,%]ŗXiɟlAC,YflӅn] 6X, y՝d 4)L 0BguF;$2:gMZJpknE~W:6mq6Jz>.9lz K՟s*CsdNhL,I'>fm' EE5OQ’t_F(jFs9F7Cݿܳ`¦IT ahK3{),fyoD͌>V!OlPSAdU1aWX·3GM x!sQ"ɢ#`߿1kRɉV,fp tŪuZr#˂bRܯ98~3p|xIYFΆt\b7EbQ(H'8ƒrT๼.NʳQQgNMxg!vi!(@).$ 1DbzI LgYZ7zXZִF! ԧ ]ŗXi%;G]csCy'd?aա /C喫Rhb1ď 9Ew:#v=X#)V7NS&*M]ݲQ#ZI k\P{a"I'ytXjWGL0ӏy}{R,Ys(wZ )49ڏcz̏*&Ltql}ט"+ªK/~wʅI@m\*!5ijD}cHC_V6zd -AQ@gkP|1K&c 4ǽl5<}.TQz=rtl5d0~Q%22>a:qu:|p01w+R60 iW=Ё\ge׊ ; HF*zaM٠[k5T鎖}UD`j"{uqBVf]7G4PO8A:$hm "5.u򉒺L?)rwCa&":Q e;KG Ku( ZN=y *jWx14dlrZv  >bZu(u+ Z{_gB=DR egLJp?ܝ?,4 D'd_66bS`ruõ/i,:3a~i3k_-\1_@w0wG)d"W)r%Ct#KZ̃)P.x;:+LCip\nTBLk>Rp)$J;b78wR&,/*hb4H|[GdDSHDg/_ =(:dcԯ2V&\Xv}㠊dOK!n(].M5MXD(枻;⿱|$pQ ϟgYnϨv| ;uJ)u՝(_=GN戅gV;';O*Avݼ@UINsO˅4oѵ4 cvqQ)>Qzx>ieBl$LZI5؟#pz0tFhb 5/vӧ@NC*vZQct7*ωg+QS'G4L7},68X9*H{ 5.SopI ǰs8Ύʔt-k|P{*D`PtToG ި)nƿk;V xuU1;r Ĭuߟ:-#oݜP|*؝ m<Ω`7'C{}OsB"@K,%1vd'0S3܁9Jf(S:~KQ!_(TU*q8 X06A{i@K'A`̩Z7a ztASK{l2>ݫ/ S{##zDRm]1!&$C'zeuQx߼!}]bL`CE%ҋ K 5rvx0t =J7՝N0El7DJou,RN4>N澿tD0bOw3JZi35Sp]$G҈,K\BaY,ޏ2%PUȺ+yΤ}VMwc&H u] fpFJ ȔdY!uRTeudhՓ >*4_ޢX٭{`ŋ&CCdmP%n鰅]VYR: d7 (0|&/˫SB(Y@U-(—1Ufw](f̥ujؚEͻۃqG _ 7ً'U-eұS"*4F"ºsKÍg2%UKl4g!>-t:G=),a 1ՇܶrW1j] f`-Y<; @ͪ)9tqvsd0yKtoZK8Ap