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 ''V/ L< ]% SDS_Impossibility:threads=2elapsed=55.557cpu=75.532gc=1.840factor=1.367zXZִF! ]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,믱|l#ESFk ~'*mhg@5F,'nj{J@BB1\W)Ag,h| 0 +Չ'1  a'kfu2ϒ RGV@W'WĦL1xJ0\Jɳy^SǕgO}jf9S% _ :z W"8e _ ^ Pk,R=ib[Oi~Ȇt]d_~0v]pA)@}O9|7.i5  .v~S&/V9N=^SD" F1'OT4r<-űgYZ7zXZִF! YK]ŗXiɟբX LT9W"qP}G EyٿOM_pAWC$ L84WSgZ}YZ7zXZִF!  W]ŗXi%93))EX(xMtV^R.fHk7I`;$"e;-[li8w^prZ?knѕtHRB{cfx~m҆ ] j5 aa-VSMYՕ*6dz.7eJ-xΚeތ|(ѾP"5:~kKw$yƚxIPPB͏aun7B'_8'WET&I^ ּ+8MJ-6 >U-s2n``_ $ :ѭ1aMlIA)O4? ;bP>3Q[S<:R;lߦΖ@\49eꍾȯEOiJ;kFjb}2nU#0|ϸD{~Z w] iuRq{t{THFi(557ա)~m,b;EGͯ)Ee俋,"{tK(!> ]0#J/i롼)ǃda{@U2AwLKpᖽPn=-m,X(kGUIC`{YLT6lr7Op\ RR#́nh3kdG!--ćpp|RZSBaysWe;&V͘% "T˲N Ķv_-7=]jz9m]V2)~|&xd';vq<(OC3 1jZ TuYЊ woES?; "k1R]u~)LQ Fa#kKԯGwhT4+ }XM_K߿^q' $R+zT!_tA!"Uw W&Zdd{/T޷[ {9ۄՕ ])(KŌb[WQ<&E"mrv~A]|dۿ,WDjl {]<*KCԚxJ^lK0`[ U9'?[-ǣ9* v2ae쌋~rus 49q?l I-ns3KñxJF`!ysȗᶻ3y5M",8yG qF_s.Y.CU=E?FsE[_컜؁EPJ~W؞&Ӳ& ~Ȼh+stnd!۸Ԫ_Z g,HPVC;\nEb">}mgK3\ZMoA ||Z4? =Zf&/nfx!f d|=Mw s {7)!+ |6 Q Xe?CHq]_WEbI/ #V4rfhDvDc[y%PHzKtz04>V܇k kX }̳k@)O@KJY. =g iN»p5Hմ+96A^Uٌg6z.Tg\/7<cV~p; ^e"Q$_BM [>-M8:.7E[9h;YL2Ґ;QV|k:4Go~vHT_=h32daHQ7 }^wb㴬wYwuPܺ _67Qq]7pYPAq ɹR0~:#>31ņdVj4 +h¥[۟ P/9>Ï׭I&\䧵SIY=:fN/dI3x?q~{PR6f_ԻExZe&IiWLM*ˆґ v=NxxDt`^g#)…@}˫zF9nC*?iҽ&gw?Ϩq$э{Sb+y_'T`ܘN;ܞXN;>[b[UPC>VT fT͟X D H@t#4-i=B[X"mоao;J@;n)Ztg2،Mad='?.1ev.1g3 rbV%:peG`Cw"N@T/w'Xh*$HZ<5o[9Ů:T c7ړa߀b43t ίánggYZf1474bc56dfdc13c5db755ee4553731a3c878184a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 450c54405b003d6f4b7501021314e5f7abe09d76 e81d1e1b44c37c41f13b1fb407f43529a4217a74 cb01befe59f5220cd02781ff755bb32e2af5e230 / SDS_Impossibility