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  ITl + HOL-Predicate_Compile_Examples:threads=6elapsed=46.809cpu=151.592gc=7.800factor=3.247zXZִF! z_]ŗXf1-q恈"3UUMѺXQ55H&Rz5M:G(|Y+E a41Ek-QbS*ؖ:3!<,<]k] @/Cb<aו9{(8qϿ͛ɂ/k? Z|ou@O`mZ1L8g${m-o؞C27'ea$Jre JQ]v&Tn_jйF,dZq`3=ulW=[׈ Cs=3vY7&TZ$qѧD&5x gUomW>)e.֦/`Y}۔'BUƯFMPf7ZtETRLS8YSE2.w2kOd>:^ޡ@!=ڗz*E}c#Tϭ@ZDe4/Pu#]jm,bݮwZGRgW(d"1D+ykkpŻ J}2rz;`'ZsJJEl&EݶAUvoaN7ʌO׳]la^ Iذe|Ou'i+{披v+)%M8XɐWf45^o^$ g5N q $'k(9 9s)(|cL[ slS`epy?Tѽdl3)YAy^ hzM?D:;,%$wI}wVS F #$}ԠlCDT;"HrFb{Gzv=U?$m+$-WT4<=UσZQӓUz&E8{|g1$ K0m;y4;cM_Hvrli0pghXU--qTN UA_&`2;kɫz+!7Zz/Cyp#,jܘi&ы*t%B1^2_&JT{yC1ײ`֟#;gC'۸۵o&ul]f_z0"EH1FVKA &aM2흟Y^?'GT "\1}<8N )؂q!HxJʼ RFY_ԋl|@Cƛ }HH;Fb̑dA !DX#PsWڠ/$| 5B6{ot&%`G;=A_l:#h@,r$瓂d1>D`KMC jb&لB~N&p2T2SzK%05_Y:596+<8~kXtdݔOHR ,zY]sup+̺gq7S u0K5Whnjft׉VjgYZ7zXZִF! ՠ/]ŗXi%6IH C ؓz/)W|ADq./a T}%v\mbGzLS~:@#zzYłXs(ZT1ݸ؇tXh$،oo9Lю䢱TIWL:tcL |bO={F2a@g~ݝ ?`xq zBZay<6jdݸ,J/s@2̉4gI7{;0%7^/ǒ6Q5u(9լB61o*e@4cv:#mF[',+7ܔ_Rb*0#keECk.iSUuԖbz^/'((;9-;ř%;OBQ@Nc=mn+#S5S5+ e) D BbO /$Cim+{iUlzz{ŝBȜlT JV@I5jwUTkEf=r@.f b"?ѭ1сDdO|MdրDʶb."#L) l(JRdV` {`G˞g<$DnK`b>3絣Z,?`p7 0Hpո\(MĄ`w!IĒXH&dhȀh{pnԆ٪w'ƋH{l(4#[IQig.(Ѐ-xس/p8w.0c;CkxJ$<[,ՔBO Iz+fa+:nsO~d ƚx߻dq Z=*&2q! )rGMj+ 0#zԎɥDnRҮ`Z.Lj8 Y8H>`'ҡo\ܚ ,PϚ<>c>ڻo>'\, mǢGzGH4ᗝnD0*>JA0R:.Eѻy9g2vB+/{=ef, /`׌ ,)Ec#xAriL_*%g!WAmܫ@ƐuWB6XȜpA)O׾SÆYY .AU3 ]ӁÖ;. (?Q^e?x+$+%K\C7EJ"S GFZ|J0ItA6u \*2#-$'+Ϻo ]XC)Wx{Xγ-F כ v.z|Qc[޷ї{J9nMF6Һ߹[Cpe;ڿ=B5Ś}L7[`2g׫mDO$N C YD9ǟ@p-N),uX}^Ij> G~eC䒝s^a5c#V|Jy7ȃWIK^#4S'd6vySPNX1zJnY`I/ ZW_!agAXm:y?d8;0.:=BS? ODu DF|_`nF ]V[ EH[~Y20,\?VV1/}bMԫ)pL VA`I-9ݳɚ3ިE qʦ0GKgPȅķԎ{p:3T8 S했>sWRb2Pps ;tA+H4-$`B7FZFm@ۉn|:dQ<ۗH'DJLK]s>`uF[_73^%^D|x\6UBCȉYAi4uL<1v6!#=X'༛>*[>ia]]KF*na݇/;Cq^8Kn'%0"ᵬI+_L~ -Mr&zA[u滥fdR\;FT%yQ@vR3|]L̦ >NSF6_)nN"[HWv{.@xtT-wйëmz