SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info >>/% D II Stern_Brocot:threads=2elapsed=32.431cpu=52.048gc=3.352factor=1.607zXZִF! 8^]ŗXf1-/6vR[]ׇvb1߁ݶ[fq/0scttw:J;M](?|B) I?Cڸ 5>TVTԃ"-6хQ*-u',@/P'W~W,ib;L$փT `AbC6>ϟ>7ޕz~1NU;͌9٘=R>_!O0X-Ok(QL6ЉjtwP\XrZMjض9wς(D.?*c潆]QXA@^AYUYn޹̷RUDd\`C)lIv־wZI?+ܬjT."e,=84Njąv _ԁL&/9yO % Stern_Brocot 'cCfSפyf ¡fmOR8 #Ύ0؋hyΗ =djzgcB8<jyF<2̆_`͏շS=dP&e2׃,-Ǵpcaӏ'Qе,]{2E[+4hO6ԞDy]Z%cҊ}y%+Kv6Xr8|G!^[зhJ -T)LCJMpe|x; zL%jώ,3PX(%=* "8XE p[gYZ7zXZִF! l]ŗXi% PcĎ'șwD|c ~o'}JoV֬缠xt2hh%\H R}BjEf^I(+8 gŋT{=u΂$y-*<;r{ k 9Ibƀ&w22P52 ̘]W(!kI.Wi*VK(${I53Q\`҄f}H`[pJe&ZBa,+/l;:U2@L qx/qxFUv ϯȉMc ǁНA"i8=s&w(6,)܍(=Q՛%w$cLk?7ԫ5\şt.J3$} ̮}SM],Nxe>V9I"02w:yI;}Y̼Ti5'|B:QV'rX7.W.OcxVS"0qJ00"ECk$ Wa|p :0YʿXC 6.]{qX\֕V[KW/H &h`+^cs/7vL !g"7b$xo ?qn4W8piF|6UzF溆M}4 yus>GZ OVKZE@džBl<|]nD5?b8@`gWF,Q&1r35f(ﲨTz̝7axR`4 Zbߒ9FU%Kό*í#ŔG6,U?IS_-.#M׀MUϜz3K)Q m "Dbzn<ߦ0@ʛzVf?-٩:`3*OeAoLJΩ wP[5Nك<)gr ʀƽC's"w!x 4ʳs5PM'L wȠ (ǖ/$3Lۦgm ,`i0}]/P{cOb iAagUЀxqk-(SA#MRͲcfCYJ= ,r|C)a[WV|ko :OLwOQS5)[qںP|)]*L*^&Ux(=Q0V|9–mgsNӿ` 2 )S!tƾUX4.LNC& otE`?Y|ocKڱgYZ1d674607b47b0e5fddbe94207659c2ad64bba092 3eea4d03b884efc66f57889af3faecf9048a754d 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b048c4c894ba192ff4495d01de6dd39d08a420aa cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 edb134994f175a0bc4e2c1336ad67621ac540f1d3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31 10cae7858f6298753bffb93deb42b58c91c816c8 4167e44b8013937bf7e6e2492589d57b425dc2c1 72abbb134b16227de44ee575c5b434787357b95a d919800d27aff22da84aacef314416d68a5086e2