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 lly$, SS Hermite:threads=2elapsed=63.282cpu=104.528gc=9.420factor=1.657zXZִF! W,K]ŗXf1-/6vRZ*F"Qu{^|Q-7ldb3 3 8*ur1 z%4c bW|>3s_{#̃I{T-Yeva7U׿XZڤ}MGTXoP Lv?w<)Yx?Ty[Q4CfkA@QݶLwQ\ύBuZs()oگeXp>-K:W&Zm DY lo gc `q`Cu kV,~$K(2x_ FJhn& ~Q,r_#Ɋ۫Fyd`i [#`u%@ɁJʴǕQKfj#e$=lNa{{اz Wq,_RP^|u#w#jUqK"@ȱvLzsr+6>14 .g-$h`{767ιAf!׍(aJS:R0j|x`EC뾇~5Cߜ,ӂ? crm8~B#$1ҷBNxVI^(@1Mt`@s=q\{B"Ut˄Tl|=gݤQ`\!u>9s1IYT"mzE;ۂ6R"]YaDJ 镍l5e#߶GՉv eKkApeb@4@s@ݖ-WI1v,dpiK YvH;:4"l}>?% k0u26$]6'=szHSM < c4EkX(* L?=C\~}YC!SH|KinSP(4÷e@'{)&p蠞B1.l;L}p,)D'dOb=WIS6aFxxMj@%1F7x/{ߴMC{իM3GJׄ+s(OݍP!cIgbsZq[=އoƋӐ;l:nbt3/Y(.se8BOSTGܞ TA򍳒x6L #q2rkѸ$h>=yHQcNvTwzrMµ L̄ mLZ[_3FmMy6[o 3zMHl>z IH?'"^Sg5+eIՖtuW&G:M6A>9*/ϸORl=9Eƽq {)E}nIJ'6zv 8[*#90Kُ@#U ^60~Hƶ0ocm{`OF,{w!Sڵ>^ˉ~/ [+2{G@GA& aBÒ({x2z%+_W7us{aIWum~vB~9F3DsIs)Y3T.[\ݔ[[}wmdAWGC7|c@b`gTsh2}C&{g2tt z+χFA썯V'jv֎B^aLHO,DOչ2\Q7ꆳA^':$/Kfip`0}U]a@u[ $$XZ#Ṭtm\Y%~G )i}ErQ<+ri9:Qc5KMȢ̐KtuGZ5N?Kp3R.Ci"h5֊.Ī8ozEGǤUbt7G!Pť-,Ro.&5aD ;iO/NRxC2\ )[ӛ(UꔠdZ F.eӹ xÁ}(R7CNڼj}Quݻ/hH}:ل[IM8cmE\"je_XzdIմNuH<;g',yr6٩*9}UٻH,PG ;Xa4CgYZ0ecbeb6985371fdbf44a0f33f3cb0a5fe08ee670 478178a46079a85e3bcba86bdbe3ed77352bd9a4 ae430016981a1bbc439c293be189b1f578fd82c3 e9bebdf05d120266d95742efb3f9f02ec59295ead7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f 95bb6ecedfa4c9efa2a15faa30445e40a0c7f96c