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   _= ld| ] Incredible_Proof_Machine:threads=2elapsed=43.855cpu=83.804gc=5.616factor=1.917zXZִF! E]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NAe*_#٭KNvό$QzY}0?#jWA,He": gO2:*b0A8s׀9}='O!)c8{H%'ȶfz/eEW, L" PCnPf43륉Kcq`d B!J7[`A$l 7e=A:V"~d%jqi|ʉn&zܻ$FE8C@c?IPd{? \{S"TJlwӯٓ!_aEsdmG$Vv|8&T&br ynhцvI[ZU%p`d! >Opg¦-%T('-*Xc>~L<:aaD>d;5[R$U5EuT]b 翲3]x Wև܍-S/3Lr<;H;lT ♛1'wݬu< Ok{T+֑I"Ă/.!x3"/jJ$4P?D ]^`7h̰hZThAR0P> =U<mR~TZ_e+PQX@5|VNp (x9cpzeIXۃԌn'#U-ӏj[ק"ff$yІɦ|W^̏_e~ ;n$M>1lLq7M5HYn;oԫK9tk;qў WA&1O9 n/C(PWRկq>\Bf qΰ7(&s2[eXw@2$0?5o2jݘ1K3#{~%7'TځiCRz&u^W=xq.> &uaڃx &t\ﲗi&ꈀÒG = Incredible_Proof_Machineovv(ɭ5=5"u~GGgkC]rw"t(_dK> za' `Jz]sVfˀMJaI~BcP1*9KslQ[4Q1RRV e!!y̒~R)FAFS\i1 `1ʊop8?d\w :ɩQJ ,IZB,eB[/mf,}K ;Uc <@rXOd4f Q2gYZ7zXZִF! ,)]ŗXiɟlAC,YflӅn] 6X, DۍjdS"p&Gn]iă}u .~FyPmR!r),l_MUi 8lM:̶P5pnlP8~g~.KI@bsl}W8╩#@-!>!ƒ!cЏ|I'6wնbI~B<=&N-{WYsz]PppD4s֝\̬0;+5g.ZSJtp܀ZIf=m,MU۟\ ^,9ǥ +)f+cV՟:jς_w̰0=ٲ>W.<}Һ܏\2 \iSd6W۵J$qXֳgS3SDį/mTp5ekb iWO!9#pFݾ&QO'-F-籚\YϫHԦ H~l"- xެLo H2D]ʨY\)}UAG2KSױgYZ7zXZִF! Է ]ŗXi%9(O*~y5jH/7!$C- K^4iI/0: +116 hdVo$ƹ|nxUe3&=ۆA%- xfiCE>r-}|&q6Ea1QPG*7#{}.%rGcS1yKu N@q/[ڵB;|9FٸPX4ÓqΊ"p+䴈Meh ~`1^%Dl^ا H _} ț/-\Iy՜O%)s#E}]R`k9<05c%x#fDq7jnϺ#a@l]; EP֪-ue"uO*t[M/ܣR9oQ9T\+Amw^a6Nm'0D.yѺ7st[\[Gcm & v^c4Nęzk"q`<$kIbHk0]> Muw9($()fxVW\+'j=&7Kjܟ-zy_,'͈[b5 @nCV=խPsGLfZUmG*΃.:5$&d?lļi*FMg\ֺnj6&|S{$7G' 7 kvXVN&mب|DȌg]3ہqMaCԴarz{䇽%G75[C <xwBD*$ J@vGA5=7x qB hC* [ZWKؼ.-G1t ng""Kk`d?4m1N'-s0Gk]wGaDx;r*H+/L"=Jyc\Q vwՊB>.Rg޷uҴMy6(IB/6lFxI#o tH4M"g󢗪A4Ⱦ~w6sEc, MDB}T f-M'#&JY.2x? } ӹNl:i:3eܗs5>(<$O,%9oͱ~'HkGm8OQʿ=6+'.8#۴w[UR5krp/:j<[1Χ.FaoEM ,=22;f$hOkjJ#_^yh܈2vczg4,x.Hs'Eĸu$2'M3uɟ/#+[f} 3rPY `ŗ&o\9Nj9(# I\D3ŴgI"ʙC߸ `πE1Kpf7tDI@v\pNfj^UZ*3ԏfߜ^/c׸粨6E(@0x{o6 qP젵1fKvK1mfln'j4vڮQs-m8%&1{ƓVưݠwR9|-M)ɘ1U<s ^*0?., ,tz7fcgy@',bG J8R{˩sh?p"^+7pkȌM@gYZ3886009584355016ab11e56087831a05977e423b3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72