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   S/ PropResPI:threads=2elapsed=15.880cpu=26.620gc=0.860factor=1.687zXZִF! LE]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^O4/1xH FsC(Y%Vh$fD.PDT#d`i1ޙOgF?UeX|ds딩Nײ"pGo,E^JO;U[ܵl{ |vY<޺SnUajl= 1cMEŽx (Ţhѐ~ IN4$X#+toQk& rFzpaʈ:#mzgdzV$g`bRW0L̤aœ=w}%1ʹOQrvoѵZl/v h ݠ}H M!^ǚ&phgF_BZH)&{I >}EzXH^IuԿ'pD,Pų;ێ>]?Q.lO@> ~ '!K* &3;?^K,kC/J6}30 ՛-I>D(? D3J425jP\v5 J`` @2Њ^ ~`%ԟa̶h 8v{=mkԼ/&c;TPD&0onG$)gG+u@oӁȗyߥsNb.oe;ɋDIME]Hy"3u1.׍k5Y21ۺUבf]xy) Sc $b;ۇWv4U-B^m{h iɼ&}\?">Y^1o6GJ6nwjs&o"hzGC۝ɱm`‘HS[PH~½y)en޻:nq6krm+>ܷL mBUKD_naO=5&Mo·ԯF _ gYZ7zXZִF! V]ŗXi%s:RZfL2{=c# gDLWS\i)Vb@bIIA,$C׀S|NEŌR8?LOL+fO*[LFei4 !W;-[ ~[^e`?`L{kT~ dUj,SٲKjbJ@nʨ';7gOMU9+I +A8k5[ɬ &Cu ZES"=+UB^w~O{lH"kЋu/1MV] Eek Cׂ7HIMMڨɥbI֧驟nAe{~1(,Z1uC[eFO2(.&Bf9'E aȋ=yY k#uKzc{xMDq/+ğJ~I&tG<Y1!oiMSNy ")R* V?evHpJ) ~Ǟv? P׷'q%^3_/㯝Vk˵RHTය\\ZPkrҠ\s̰ka2K3kUJc/[:t ZuS//u&g*GWX^E$fVL0e]ho  Zۚ|rNוhSn7~'T/Q $yJ: >%W89YNMjǺvu@K(Mo-Y+JaFx'tIOQK_J4]dOn j9܍h^ $yAi}L;.E2uosYBt=$MjV uZI rDcDŽۑx }RT 蝽pqFepo.L5!09u/+MfQ #ߌC)aT0#_97̿ٽT1S\m?@C8S"Zhp#`s>}Lx|ʐ TR}.•[ >ه+{EmGqF@بWq8Ha#8P+4N|%O/ihRNڭZQ*NE2 dןI 0L@j8nG9B0LM  g$Zq6NĴWe ڭc\gYZ2410d4066ae373bed1722c6597e4e0d5d5c05661 80acea014f50df07de71735a0b8d00eedf3656ac d58ecc0b1995d99105c1e5da62d531bf6634eca3 f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcd9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9   PropResPI