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  -D ]w Density_Compiler:threads=2elapsed=105.941cpu=203.808gc=5.372factor=1.927zXZִF! v []ŗXf1-/6vRZ _j 🁳68d0 Xϫ wߏ94xB9rI!yZ eτBg{ FFAbMW;{u\p,"?CNH@: Fd(eBd 8TA C`\Y63ZJFw/rJc8b_5#TMS]!%˂MA}39.AŠ`yVeaܗg%=5UUrh_b( mbsxpӵa݇e,?(:{

:(gI|zt`zV]h#HRu. :ޤ$5$GһřȎ,AL%9t߀z "|w3OZ;msV" AR{zx.|+z@MBz,bĄT=ͤG콋"C?" G诊稱+uL>3iPYAB$J&CbW1{"%PH]y,rٸ(x-i1҄T}۠jwI4]vykHA- 3=⽗/|b=l,e~sOh5CTlS-vOUǁuAf?Nැ- *V[rSs8<xhtC,R+ /@p3G&r"cx|/=3#J'g܊BŁb2k6GF`mGʜ?øݫǐH˽O2kzqn'1H8G u9b|G@9, 8$ ʴIGNMRu.vD}B[aMQ[ 17Hx6J@H>aǾai`>ϊL\eL_+mJd-~GiqoDØ9FA|[gR,S*b(,cmתF$*)Ïн8z@lm,qruߊ`Q v>ׯF<%cO}H|;d@]6ՠ5r{9#T)ȩXWV[Oǚ俤آ)fz[&TҽI&h>s-pp/d+W-{]̤5a$sjIcu^sERZnu%IzY>mV'Wr?kbGvZ2?s >@Β^ ցRiU ^R`Ŗ6a&GVΔ{E-NћFB!{aWpŅޜR|^cx=#up:s&O8%F1M "ƻ5#.K].]'`H*qFQ/oGzrm#M/TQ7{Q~Ͽ@O3j 8=bh)Yh.V"*^cilŶNYfܸuݖ>F8RA FžOpcmBN{0(_5%B k.V#Zܔߕ^zcyEA=CwUϾ&$'0Ɛk{VJJKȒhzWx _F=hd Ֆ,6Q 6c@gr7 ErVsl43A `7?9@);\1*9;c+֬`c?{U/$*Zb@=6qV,IXeF;^%w&鍛ق,8ExEZ@[Pa cpPFt]$/JBHT|?GԑлżDl^Rw1˹"fOT tk`CD-(yncf\p4u6;__[g赐ocEF ݉nuwmu_MzQx3Q`<}^tez$þ< aX{ʙV0;5A_ x29S`zohYAA7}BTw_8waB|>4\\ h]#w2thoS]÷{\Eڜ"8@&r`mN8мSP ͮ8þ⨍Q<z8pXZuCW(J?!7 |5yڬ8!'-V;~!3H˫OaE0ƣ Gb9/^BbɤWl}{j%e59]Q`q Y l+Hgc0%xHTS:`h略b,ܜ\c:?2@/(k;ϰ+uԝH׀@c2 \62!EβI%Gn>ޟ`FW'y!)Մ'ˇ7 M2MF}0ꠋ)-bv =z=wsMm2kL&3bBGq rR=55j}Cb;$6!U87AFhmѹHV%R̵/}8aڿ.0 6H5띧åT%(-^(l)J򍰪Y_wjsEVݦ2W3BLږE}(6.Mj@"xbc*-ЯXRH'b]271lvd}e=%hg-L(6%xh\O-)Q7| \*2p}7S#SFg' ZbY+KΖ$ bP(sqP Yf.ézo̺fB0'K]E | 0]^e]_A9g$Ik CF.=aޑa,] 8躥kʬͤyف`jApqb+!T_FRSq?lWXzju)6kuSrL7%nagc/TBr~Qw8y94/8ɸTkZ˄XTSVY蒮PLh?Um T68$ӌ{JKc1ޗL$4-[l蝅{6Cpx;VZat'8%$n٪C1ҴI ^" EvR6o 6`v)(b,$᪉:m5Zqc]H\z[Ac 2_/  0^?NH d^KBd,Dqcݑe46$u-tynAWhЈMi\/6Szd}:qΦBQ11 ׳mb X7(Uڏк#X- ,J 8V '"ޜ@r&V+ 9&/$k+(GxOݚi>GY9A#B!vH=wNҬ/~O $اi Az[CU nx?=E2iݨ$$V:HYĆe 76-yzC ``U K!%@ܥŜ~H e_5ؕb z{cvQ9+i>\/:_^ x“c9b_iړԚ {ܝd@i̶p^HX0G>N09AqvG/y3], *-Eڄ~a4˒\t곚KGt(+WU 8SS4a6b! _x_H۱I"P}ޒ竁J0.|sv͔]싟iKncs~ [6_M Ә m{`QL$)V?z+zlhx]}wW5VC>] GKsT*ȂosjU]lZMeE3Hs@q w*ZhI1rϳvt0[ E=<—o0*y"Ey-('A^_)EQ@uiKя+Pim2VX3 =& !FzMY^P_Ս6^F'-^Zfm]vQE#X\;Ed|- 8 114~H8K{v Iɒk娲xe2>`gã+IGghtHw[=^s<c*&tfNea} *Zbi\ B(8!ML7k6ݮ5Bǰ958,HXZ1%Gt7>;_rU"/ak/5LLAejkE8P9l@:d5c]? *oK @f%T+gCh{!v,+f汜&lvTfi{UI 9G UR^⽻[~EޝJMb\0x&Cl^JSއd9$tlvEEuNOUy&sz]~w_^&%^jԩ.H8-$=AH-wd7eVKKM0йeboQD$JN>]JuW(u!?T@Ӂ(AFG7W9*.$u~֩teja^w8Bb^&@|K-!@;92œnU[$^CKJГ ]ۢLڌKbm*ص專 NlE#oBƕaS6~M3Rh48OaWRrX!$iH+A9.3/G\h}k8!>I7w^MuE;CASMMYJz-@.ćv}X-_OgYZ775451cb8ce7d28f2360067b15cc037c680a01b3e003033e0a1df248159cfae37f3521344e99dff4 e58c0b53d135d2468d83139943d3835239d94d2e 59bedaa090758dadb6cf61e44de79f384afda49e a74f7609bfd67dbd153c851e2bb135000e159cbf 747e333270518ce60c15dc34844eeecc95a83f48 c4a2d1cda80a58662c70d751475f967b0cbe5c74