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  j/  SI SDS_Impossibility:threads=2elapsed=57.904cpu=82.192gc=2.124factor=1.427zXZִF! >]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,#u~0 NCCwġ[3Xiy]Ldrl8T܊A,[i[OV4`/g־Kr%Irm1?9[;/QT 1<^W9Әw-) h@շ{+=:v3/raRP [Kx7Mnꔮ}Hӷ9Bq%tI=}i†3"]w9D&~^0+!3jhFc$kl徔,mRH\VhEQ &o~:y6ټnh L,VUD{cJKLCi_OX@WTz;dUMt1^_^5 M T=v4ÉQp{օƆRAc2rM̀5f+ ?Q]M{ĸ 4V鋀]OI7Y; / SDS_ImpossibilityHۏ0ȸBHZ6~?WGY#܋m' iXz}.2ȥ"{sc`k|Ǽ2/C9s|;}*g(~*(yV6El&T* TogvXDQgCJBj $ҭ(:G%rmawk+橋n";>}mCqO^(.:$Q&%!ڲLXt[6>\1Dρ׊[]''"o`wpfb]^njQ=QʦK(ؚm~gCe(h3kZ #eF;I0Is\͕US+ӌb^1;<Y6 =yrK䚤هVK;IdN},NmPrril -sjm\WOSؤSjIjC(!-.b! zi4wR=&wMډhmUE(bJ@*.h;u&9&ahZy }%+gYZ7zXZִF!  ]ŗXi%q` [=DG[Ts  psKރ:u8 /x+-&+~nā _7zt,fgn=Ї* o'*g_iRƀMwpGb)z]0|3&L"h x+sF=F Pmb3h14\2Zn<\0eg}&tF}D=rvTC=vu;S^=kr2)(ZN^jk3WMc0'!)ͮ+Zx͠|@L\S?yZnAٸu&LYd#?ZD!Ο7'^35-zhRA UJy _uust cjq䭹}ϫ0V:D]y}=:x!!VlFGQО_Xl`=FH78sDH2ZĔdVpʐVtGIB䕤mܔJOYwzd*" IzZ|թ@,6g`I$MxuO$\WdaKްvq'+Ĕ"ԣ[XW/cM{9VHP0 %@dXBh<Ed4Īa_1 n O8!K.X=Z)S(Lud .z4[MU(.(6x9|stXāDҐDfA_\~f 8 <²x1 [d (W<mo$ )$a6>MFծP=Eq 0xnqNG2SM8"T£^zV'^IcD`}2WyAz ވi,DbI6($֝U6y(>J):]D9[lKږ <&h2U^ӵk}NntLNѯx_s>",\F\t0ö2wkO雷CUΕHTx.rTwO"F۹W*k Q ω:lH,C쐓B)zMӾD>\mݖ՘^_nBSf!qn_5Dީ Pz&CK[n `mYiiMX' BFMU8cc(?<Kd\} DhBeI.tJ0ieאiݠi8;(9S>)J ;3rHJ76qt'tm6*赧ePu{xH\2\WI=׆f\<<9e0_ۊa%ҁpwUqrYSpP"9 am)xdy ^jBGcER 2xr> e8UyǖX\@\Wu8$>gp['C#5eI^A o< T,qz ĸƜ 3  }qUV9?735-d[_ۺDߙD`% RP.lݱ~S.ޗzC,᎝Fw|8}!LXFï^r0ۊwhCFF:yTpWfp `+;ำ>kYNt.EHQMH$T60l\X3׍ȗjY;o=D-MPR+T3ߪ2.U[`S"`xvy;䮩~/ qA>PVh_0Ew(Ic0 ԼPO--CMWm$mcN/ /ӳU?Y5uhEn=73I@@aKqhxڟ%BFV_jur+3cO᫞j)HGG'۠qdq4TUkw}.F*1ּH ^QnR9>Sh2}݃ 6%y[b9;MmLyLi,qu(Hz bIǎU [l]$2 N^q&- ѯ[70QkRtPimT]8EeіMʧ\kSYcEB!' ?nZ-{[^#xknbn&Pӆuf{tm(_;Sgi[]p[3E&a\z~D8&#cl^N&MH5!_eX5!YBgZed.qECi‡7ۯ kOwQpp>bMgYZ0e948a16b23c90c8091b5459cac6f6b4a988ceab 162a03f9ba77a8b985c0c58729bedfc2c7715939 33673101c5c4aadab9fb20f44ea09474df805e21 b4ad9a5d7e49db3dc82222e04a6462d5145d5afac7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e 26a337b48b8c63fd275ea93a777a3e7a3401e2e1 43d82483a65cf8b30698af36c334bb4ab4c71b44 9d0c23a0e4fed8eccc5344d15fd9731d6892c5fd 7644c7afc5866981879b7746e1dbd012e1225bb4