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 XI\| + HOL-Predicate_Compile_Examples:threads=6elapsed=52.578cpu=178.100gc=9.176factor=3.397zXZִF! ]ŗXf1-q恈"3UUMѺXS8*Up& хv+tX<~r#$c}4%g- \,FMd4eeQGal*OZ:^&2W <譣1R6;sb{*0nH6 ?U\}xYlld2>]R1]R<]A!g-{8DwSLǬ8d=J7>jGǗ/B|ueBs02w ?+ q2owӠR0((3줜HPΊdc5U_hgƵI~Ao6!1pGx78'ZoY]17rK^9*BbnqOuEf*b!U9'wӫ/5{ M.ɇU'p\_\DJD;o-^e9:ڈZǦJיj¡F4;t }hƚPp@~F˸v (]Ќ%_IC9f%>AX$NkQͽj PPuaٰ<]?{xXr|>g z9Ő-2^,{:~4p7]s{Go½S8~o]iWWWL5Ψ;΃;' =2P0 Đ ۏo'FvB縛 V03 -0mpP1 (q<2„B.y^8JOLe-} .w0U{MmQA3-;-gsRc?v?C~xh?tP"ݽBmi@ȷX>&ޡiHnsFܲPunqD+H#KP,*-(~K`=ₑlE%d 'RCmWOm|BLFé~Fhf5Sw!O府b\NY՘l+2))&O8ǖZgꉷy gBe1̹w+wF\7< 3r6-]#H JM<4B]B:,.D/po\#a;. G蓡jڠ0^HK%R~m2е; i؂p?Ѯb75udkrq3^LxnZn-v1lHиA$sOl =KQ'QFsN]Jԓ~-TZbTyw!NK1{'5Kosn?#ڎܱLm^RAf.0.Q\iݭdD.y(}&M)]hqb?3?LB({A{&O YM$ktof_'_^3Z0pFcIdAP]qΒ:1VlЪ_ŜxYvrSsCPUJa_qf'gYZ7zXZִF! 7]ŗXi%6m71-tLX ;8NQpIPw( l>$:{(MGS@ܡO+YDjS)CZFT*!"l: 8<`.]qA*$K!If'نos˔C2jJRb٨m$@g&%qt%^0'^qHQ"lj^R>>?vOn읤fZ0뵤J!=+%:OXYI>x`7HL Qn- r= Iy36ck@{!$I Z!(c"!͇LZ|SvY`Luq]ΔxՀGEdQvA^D]_E zi ǪpOA7*B_&#Dr|(8; @h0%@iW*ݕ3e@ v" (%Ǣ\L3toWl#&ItM/Z]$#^ЙWUg@iG%S,5 )1+#&II8D31 l aD#a vĚ|qRSy꾞OSfMFN ?Fwb`L*fY*@l='X3ͤi`նS `1FiJkT7'QæUL&d%E0؇Xt g{"7&F)BįzMޣl)菨*HsI492DpM vA ~?l&{ 5_0lsJ,)XFɇ?0X$>[\!Ӊ;hNdn &R|=OKn\c`ΔQ* eծ! qjIn=n0SG:A qb<6D~o9u;i_,4ۄ13Ĥsp|i>V. e]&H+)1};xe=UΆ-YK`ٷ[2xNe!K0J'<7c *fU.]m5-&̉)J/>X cѼh9_3O #󭬠KYhaenA I MeS.7c>S4| qGG"}=* vX@ArT2uzRY~WwG۝"&)FyQ mO*:LP~_%.[-2V48m_Dٽi YШ>`$AmWD|j \>u|Y҉h=&u%'r(\Q.+IL#G=]݀jN20L;zx6r4^߆,ETjΜ;أ$qSLtc:XaY=m]ɡjDZi9"&$V[` yqLӒ>kb~{Z_)hR ;P9_];&7\jC\D_31ܔ;Uۨ:WdwJUh +8O[ЎeybR}밵90jpwCϫb+LGdߒ@NR.sHr8i4wm)ESB#H,cgCYfKCo[} |k*ӓ| OR} REcȉO "d`#W/նQQBN<v3$wM5eIX^ލK]LYRwǿyD%@փsD-/cVTif5Up^u]2C:`;Vҳ=06Qv+.#QߟO.*T}eHJ5Y`.A ,>l8rewF0"iHl%a0k RW\{dS|R)?8Axد~N%UP|QX}HpL„g~5YKL%Y&-ic[䗮CՓS <p}OQy.$>a:mK<܊o(4f,O[-v;6t&+n XkZBuɠZTIZr ivbin>DZ;i=c  Ar8sϻc*c;f?/uġOJ_NM*^5!(!JQjSDʲhvZƙ&*Oo#"ol%%1i۰t*}P5~OMʼnWda, Uɣ,0d ɩ|VuU~4)vp455*Z:UCx,O$?Kwm"z>ܬ9,8LBCv,n'7!]X0"7.KBjqٟy*pE *0`ywoE*44(?K8A^T vGS d,,dBAbLӋ2^bG8,Dx4}1FwkYSUo&-4+,xϬ[͔6 Ú5^~