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 WW& |,$ ]/ Tutorial:threads=2elapsed=32.180cpu=61.076gc=8.100factor=1.907zXZִF! 7]ŗXf1-"oވ? VòSE{ l› M;CXfCC\Ɖ. l0G*AбN[`IkCcrf&nCv3Ruxvp',s`wDC0ea:|+ʌɸS΄Biz]Y)mO!'w:"`= {lmS$>;|+Q7M\#a`Q"5Ϥրt#eg1,qJ (ÖT&3xyۅ+8=G-bH- zAB'^/Ȼխ+:J?ԦŻKY9k~&B5?ʺdй)'kv4pAU2z@(ej>bH.&&%)PRJ]~&Yn" M" ڹ6)-cӱgYZ7zXZִF! ; ]ŗXiɟrj#>׋DĩOTL}e4[VIGUhAF[iMr17>o [Fdj2.\f &]L@gN2ۙyN>RWPcer]AAFrg3`~ kOQڒcr*X%vm>\ZwS@3Kisj9z!ahןH>UKOugR~"[!:^WbW .asA8d¸YD̮T}Ⱦ^-7ʜ ZPzx3Г& ϟc[TK WS`b \uIb"zpl)͔}R/R үd4SLQة 6/@&?3z.ySp,'w8[aѯqG^dwZbHy0lh*|x5BuMV_ q6*O[5dY}a 0 BiofZUs7}v "HycbScN'鬓64j@pNDj!צx3nd Ԧ&vDk^. =On#h1V ~DxՒ ފ9 w!!U J"_﷿n ӨmWnr7gMG6XW1;<-f8ZFsl7㈙؜;_*;CyX ,ByjI>Z]xa`Bc1\FWQaYպ2HM !A=a6P) 9bkSyx(#a#G Yoc|#`Z".Ə Nfy5EA_ݘu( .nj}ƨtf + a Bw9V%F[Ko@OZ/4j_e+e|B& I~i@{h +ah!A㖜FQe` nĻbj?P- VXl/3tP֡DAH j2^1$uPV[aZݬB\feX -dDCtj\@&t Ht݉&8LxȨy쨺q^2s_Oc_n3{Ҷz 䮌怜[} Jjr|CP+.>c,7[CRUd* + \b> B8%1oR@F.mOjgxF:O~aIAd‡А= (HݛhBVy/g7i a[vgυo_b7fUHϳ1 4R؋s [n{7ޣoCPr0ShG ¿Ͱ`¸bf wt\jwUN63Q>S 3Kߐås'oC˒ )WUM:I._eaIK{h}c^]d;EȢ14}9K^i} Q;,;7O[;:^ZZCΔHtW|4ckI0叵%njKR 5D e z: ZD oW%UNMvYNLD:ݺ|3HBUC"WtGĞ+Fa=K@Ү[?Mu6|O9pU@}@`heDlj,`rTt6ٞb~ =͆u] U0HuJq ̀z{A?:Xn]lé䞕#:믙eKx6!YiXS?3T?XƶߏA.\V^CF=҂}L~0T0<_c kb{U=]hےm ɫ$ʷїAǿ Kb7MuUު!N&O'/_fύ