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   ] Ll4 ] Circus:threads=2elapsed=51.197cpu=98.080gc=3.372factor=1.927zXZִF! I`]ŗXf1-/6vRZyⵞCy*!Jlú,CW+juzzhNz̈́zz_ S{uBUeMC^ x(|eW荢WZYU۩ZƳ^Ckyطo!t7Ci$CIm[57X˥g+ςQ%͛_zt<,]{' uzC_C L`2fFyuXd (1΍Xtf6+u% ,(ic۠dȏ:7+ۍ-;l>^1<ֽ,d/.jmӘ972/3̲bi◁>6 qM2MnZ{C`RC˫ܠ^9i M)ج:;yxQ_:rEj8KCZ6O)/~_qh*Fڣc!$$)v4! 4xMvE%A(b؛cagK{Fj<0 Tݜg=vl\M`_U2le\3Ǒthu}aV7w+ IxXu3dv2]zfbbЫno'?݌1e4_<}MlZYt>MZ+[*T뵴ɲzثutq*x'3QwZ-40_:4nǃ'V }P?Dp34.AЮ" \;܂(sPWM 68$pꀂlox@eDŽt"K8n sd-,7)qD>[ 8+Jz) U]M'Z3ss}2"Ӂ@lUm)QqZ pe!8W~" (gD;WDn{Rڦ&tCoy$f^c#sC/b&8CaU}@B%cfBm=5BwAqH9U"pyܴx~u\nb+EޅQ%qܽd*8y!8BE2 ˆ=]692U+)Gq>PXd er84]|O+r#]+ynuG߭;/remL[AΊC|@a%qC8ߗtBF82=OHXvvJo ƠB@tQEʹ@NS;a/8jP%>Dk#   Circus :gYZ7zXZִF! d0]ŗXiɟ>+yC, 26"ˈלf/C׆8YZĸѕuj ̊L6O Sʽ9<$>NjtrkyHK)Ʊ|(%u\`m~jFOX/s4ǴI2U૟61 хߛe/qNCNJK, 5*{X Y 5wv4>txUzqٴR3ã--jc~XW ~@+ʔ:gYZ7zXZִF! J ]ŗXi%93#5F$X#:dx}k@ FPS_$9+gO"%2aBXxSﺞ_6yu@:VegHԼ\\2fbxU)ʌ.ON hpzibFޛ@>SPF W5m ;Qmk`QLuHjN<ۼTJA84ԤgD(VbŪwđM11i4cLkڐo_Q^);,Re^'OMrjpLOY8-2AzjGxN˱5Dۺ>&.m|jŝW#|mQ[$=}We"oB S_Fv; u[)#Xmqԝc`{4C_HT9MJgIXoe>O\}Objp" + -@=I4^̬Or/%S{\;@4zЀy) QpA@ ݻn#W%ljY_D^i櫫Ud[QD^sW[4GuțA:xbgf?O.8Z(1xk(&CLKW1$P]^Jɵf>dG`ŜXH SyC*gH ȏGL5dB=u0 9#VGz!UeXCt:E YFqrק2J zD80P9% xPp$4N*; S)"LR>sAM&|ėai;9jPY(喏}Rחx:>){{UEa߀>\pM_؂ 8שg>Js܀崤hrH\-!?y5CS1#A&ͯ(/!Á?r|{$GxK gMGXq^2_Q Gb?yl6O.6H%J2;FE.nGꑿO:ɓfsWM3[5yDƴki]Mlr ZΓ*xj\g.cƋ4BO|MFǴ7fe:9@؝b j?)L7#߶zͪ_bl/Iڳ 5+!ٕBD* ,8#w\ V_A}/UJGxrQTp-rfkZISM2رeM" :WXB KDlf"%3x_>r7zl_I?%\c.@=/KQ @?NѬ^oXC"~7p9 ;Dz?3IkY2P4,ng5b3ȯFy 1.ٓ7Xo4>Xgd$75m1RW4aBK҃õYBJ>#+8diܙYNT^C*M DW ]ed,Gd vr:hDLfZ0;?{ p @NV*B7L 7ոygiP% Yh"!6b #% Ao{}L<>of0~T/\Y"NmHbZG_g7m UQY!9RE-3"v( 6+<7yJEe|@T\kg:gO[M1Gq =G*;Dt1\5C!ĝ i4(z5%=W>M5`݉5s2$¦Qc1H`TlaPwͪR?_b6qZEJ=:a2*z,Y0IiiOİeh ҩHxz3O8OO4hb`;Bvf_-/D:ɪ$`sb `TIտUp+ $8y& /| z-jōO팧% 3ֽҩ)ZA|e2gYZ5f6ba94c2d8cd4dd304155c77ec4af58eaeae920a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 c40411e15cda58f0aca26f5a7949660600917046