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 ""[3 $4T ]S]Applicative_Lifting:threads=2elapsed=33.525cpu=56.104gc=3.304factor=1.677zXZִF! vI]ŗXf1-/6vRZ]^IuL` l^ϚW hxk$_I^H1c{A^m[s0Q#qnɅ ] vqI?3P)?Z1#O"F5-|!pM\, Uo%"8[e/b )ޟDHm8@Kg Z)F^ֺӰ_zJfE HO/Ǩ)2x3Nbc:ij7E6xZW+CP,?4`b`i9ﱅlln HeN-3P1[*) k.^Jxi_0OTh"4Ljan![?G~~3^j1MN_KZ83o'?vr>s/K8CߪԹ .,:z gYZ7zXZִF! ?]ŗXiɟ*Q?rͿY!?ID(@[YJbnX8ғU.<ԫj^YA. is:\HBlsҼ@"dbr@tu _ ~dCɐQ wEc .aksߐM[E(KWf*\N .9 &y-2 ֜1+1I6(y/S ]mHy‡^3lA"!1^;meSjOm@\[#7 U)!9 P*MFUAe&,$"H7I2)ݸ o GmUS$YqmZf(؋`x!~RHT_ -cK+n'_*BnTQֲ */I8[B- 藛v;|S/_3)u !9rYco[9Ws(_d4 5Z;}T\FYpQ@/%NeKԀy[7i&J2bW,5BVV Q1exd8 @zܾ;2ї$BcE*k^U@}2O*gxݐŢe-b^n-UX䇇gYZ7zXZִF! ]ŗXi%9#~V}~Ci {Y85 RF.[hH~ib}{I7 vpכiwdeYƯ*Y6YRpu$.6}zZZ VZҬ,Gx@1dږmISYvJ+#sN͜O=A jYP'DKtUحTi{Sȓ[>Uûś/X=5zed{p׷S/k`|goū¦i4yV ?E%<0٤NN"Or<  ޘp6$#~sK0z -d }H-`+ O}kqnMOUv@* !$&? %E֑߹N)(N fL|*-(0ƚ蝪'e@^~rlh1ildƞ~q!~z Plj1<,@ZԔ7ezp&1J \f3^u qX]#u`43PCdS, ?o\׵e`C` /+z +xEx0c6eɒ̸e XlmGxS V?c 3CAS)ch o 'CxpkP'qIrh,NRlޞ|JTzk( Z)ѻwQ߅ټ7D_8O=;=h$ zv8S{T(1 $DV/\Ls/ O1?g٠cd ߔW/tMV_ˈvY[XgD» W^hǨ\W`:T'k_iiO!o RvgHٗ>t4p #hKΓ`]ZǍ6F`!CA06 w*ࣩ责pF;,ϬͰH4|ܓ{,GҶIO.61Q!nP&i9hm%qfAv >Cm4y f ɤeߥvu7ww1@"B!Hw̍),sP ŻaL s&=2xy09ge"J_}zSXVYR%oD8@LD2Ҟ i.ea%|JFZpKLi8VQo\DF;`RO>@c|MA) 9Ds3*>x݄JPLE}ڨ zQZ67tbi:/tP%BlƋ+^L^|҅3n \3yK ЁSaIQ !*b,