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  \ / Menger:threads=2elapsed=11.058cpu=19.648gc=0.604factor=1.787zXZִF! M]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is9GZa/{gv@[hP^ M?/dW@q!R#o-Sڎ.b8{[n!xd8?3txAF2o ĺ' \vC yZlZfx߭}a)N(W4/J#()oPI   MengerGW/6_o&==PExf~, Ԓv3.+WW} :ùT*;&\XUilF%I>(;ԋBBL!Ò=; Nb!9 Hت)FL`<cRC˞pAܥ 1`Ze]ڰ"r[;~X9v%޷T4DV}W|9^ӀSPZбߓ&胍Խ J _?0c`:|{u ;hvahxwJ(~˕%howcMo!nR"oGZ{:J z5% -Jinj%2~K9C3DVHAj&T+| @ZՌ2%K^.wI~`Z+6[ˈ~td6h` hh)0߃HaqgFYpghx&x.spo= 2{9f}I:_ yTbb{|z "qFpNʺMyp )=YDNXʉo?2ktR$vqjr9c4:xlIHu/ 96"mg}`Aj+TlGH'-Dpn-}ċC`Tʹ͔ftSGXZ$)"d{w/ ވ5%("ݡ9Aec5Sc|NTa2ibu2ɨҌߵJE.M uobpSYE<&?١O y6l,Lf,Y~6=Mஃ 1cmykE aIl/R_x-[iS`=ܿYceTGTdZeWWB՜c2ryIeY !gYZ7zXZִF! AA]ŗXi% -ڕY/)>J{"3#?kmQ};{x\dž\E@}(.vI;,|Q(Hw଻]$ yE!֦;j;[G^dkKjHZ],"72Nx%D;?bk>|>ϯCB|d>]$>6UÛox=,1D_xƫJyr8mSdO(D4j5KYH9M|1t}e-d 5'k&T+9۬ulJR>ZyI^l̈́282!,L>4uoY 7F~?0@~&}ٖE,YӳTI{D46rL*2|ubhaw:2Ff#a?qg 7ݒc@txe UKwNkGnS  Vbm\Ms>-% " Jbʠ,zƝg_!ۖHNWy<%~I)y*V:R]nFrC6M{$E-Y!/*~(pLLBE\{!w<6X &,X5L[{`mΤi|͵F"% [ EM^D]{@:9i!3Pz`e zI|/ٺ}E;LB~iV㧟=1^{O{G2)";pѻTCR6 ×WA؊j`fDy$nPwv"$Z("-?[l{Ư)bz6/_; ,吅 |BniҺ60sߢIe,-l#z;7;)#4RC?Ь [}m[݆r a{K,uA[yM%nvIuF`?)/,l_3RLAM>Աt:po~j#$3pEĜMo^3!#%t6Yuу9gYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 25f683fa730cdbd88da60162554e0e8519fa81b5 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9d70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9