SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 91 | %S]Nat-Interval-Logic:threads=2elapsed=48.556cpu=65.180gc=1.508factor=1.347zXZִF! 2]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_ߡ-*Sr^JZc{p'tdpuA0 1RS v>xPGG@xZV| oJ* ηn5ueGcۮ , Ș rΎ T|5?5~U%B^6NHYeT˒b^L:w?5ȱm⡪vcC֐WNIUeM ^ ފc9 2<Eox/ 1 Nat-Interval-Logic+~&:6^J瘰馀0:Hlْz׷X(K&ʝޏs˻ FZ:hJ Kiq^m@;y3G 7|fI"ߛ:\1t<+qG.A&yk!d%"$T\w$*iy-IO=|TI@Az+Dv'}`X2o"ds-p5Zuw\m~7ʖW{?G5SU~t4>Jy奆pjÊ-\ 4XvNmnLnM{r jb,Hj5UG{LJjLkާ[#eVvNrb7>yOc](p^fܗ і5ZY]L@EXD[4rd2#J^ARR #񃾙n_]&yDۈ([X+sZ=_Y쨥M7K=&ӆԾ8`\ޜ@UԠȑk\EاJ@=],}{# /Ucd`G{ZcF?Ъ(f2+ڶLW"gH7EeӒgYZ7zXZִF! ' ]ŗXi%}F_@~s9;=q dh(5JR چyQ\n c:z+6P#s g6|%* !؎t>|i #Řt l,4iV8M^)/jW Hb|YZ__+dJ)a:OSd '&P {r|Ď+46a(N?&+o!-]\ꨰ|CMʍ8Ⱦ|la9NbeNV2}H^虻)'m 9?XJZxPgb0;Y |i(}kx:›8_F K ^ +|1Q,`蟛SڬP#`Y>FwQoޚ d>P[&; %[gF:iREuA(dYpcNDOcP~̵_6F B3bR*ɧH+O:'/i) lv\IV>mu7,ƬFaܳr6O6Z0~-eE&ў,Hy:[e 'ߘeC4b, 19ы%@:*\|1Dh Zƣ]c6xLmRB1} zl劉D>+{P?XeĐmfHm,^Wt5XܛԖX}?[3Tj\ qC< 2H) Dah1Tw\Hk4a=R?w(,y4oiyK&˲>;ME)W\~I!p7 Y %0j4&R?7";A8Gyme f`܍: [T;&yAE*.1^Db45Ԙ!<)zT uSԮL9!v~߯Ǩw⫁)bp!Lym,"Gb }P|)gFiVc)H `_B$ _ oˡa>z4Ȗj3y@c.9`@&\8ӈm+#x@X)l[_x^US"ۆb gù8*_˛fA`:ƨrlA賱G@ķiOnX ;ji)0`@|akf2dr\r<ЋTr .v kOM;T{q In * Hbfs Ns2wRuٴ f kǼ;lMk=M(R]F ܴ/`zM5鶺MW'>^˞{0UӶS;9|$Kg:B+QÖf_|v/}bo.j(=G1<Cn-0:h~ZXiڗ-7IM%"(2?lixib!uΈ5F V|@-T!9i={3|L:!=?#w|%*V$mʳWM!GG6ϫͩh