SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ~/ $4 ]% SDS_Impossibility:threads=2elapsed=56.961cpu=79.272gc=1.984factor=1.397zXZִF! $ ]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,CCCC7<`Ζ:s\N H}bwvH27S"38G:zAzV_:=w\W #}@u#w.VfחȌh5v:vv=lSCrTy pP*e,V#F d'SEjz39GFy(I>WZ5PZL#tBlyr.hȈ7\̾^_`ox#t , / SDS_Impossibility  4< K/͟>=j)Tr))jm zU~)dBg `nZZ9Y59(Wu# #gV}oж!RUSM$4ߠN-1[_iYg萙7xJ*jD 2[^l/z.pb7gYZ7zXZִF! YJ]ŗXiɟբX LT9W"qP}G Eyٿ  096 DyOt?6qg*hfZ}YZ7zXZִF!  ]ŗXi%>ge3u}/V6>u^W*)bh֬ nFBŽuwDkSX@oO{lX˕x4f R6=_adOsל_{/ߓq1\s+kLI7ɖ6>7@_R@8^`mp X=|wUDf 6Xzu3HqR5aU<OktAEh:t>x"^k}JLs_W@61"l<=H=ˮ\;ؓ㵕XωgВshd_k'aU]龞'hG\K~TZaZs[mpzw6] 1Ai EC<+kҔ0n^Ɓ>gneHLm Q FzoOȐt/s2!œQ (T.qWQU)PuYl80'k_Wf? 9''{~C!<)5Yu6U⵿u%L[5E/nW>RCo1a ,C<)/_4 f(H95#.2{iSa&Cd̝9eVӮbܝfoX = %k3[_*l'337_O)e~ |}=@7qͫ P8-~ČA r(a()~z yDpv@vƖifOeɞ'S&.]yCV* n\|#IWrP3K݇F}Iو} )N?3Rpq1KpG.E +i<"a<=RVZ.vODj3 ,COSB.K;}>RD Va/J*a敥]wW-Ovh06έZ3C#a0I5MɭM'3P0ոNăե wiu[kIZ֚oILios~ xDb_uos`ԉ$??:¾59fn~tn4Yӵ2GIPJ ?Iϟ_KK =YbRƁ떆ڝ8`&M/m@ ,d&4~opnHj3޿A~?WNT̲̭e#WJG?,sC 4`!t.7\<Y& $Csd?we垽J@FQV ]Μ|H64t㞻!Rus-%ulFR7]b,x5l !tGX]U$h3IshN6ibyRGtS׾mZ?^oΤvϢcIc?_\N , uV2(sYZ4HpaO\^4!M[hr?s`=> 3_pw&*Q@TͧSJd3{k6AD&fZV= vrrڂ)᳛~hʝykD%Ou/g g'`m]?m LWkzƊ%s5#{l@5c9"z>4ٿ@ FN򀭆‘0gd$ndXqU$< 2=ңPlԝCgLgަ?%pҐPGOHc܂>R<(u!ê;I~˅T0 I:m^ζ#ט,5{|loaW}`Yqh  3|s}Gu+nRHj2Jf0:vr{̍;eRNR -gVX`=jmy4q<uL 0G_~LZRgTA?tByւ.͕%m(V%Wq8. }n4MkTHS)oUpż޳2 \]^Aw8uد gwBuU*1q^yp|TѠtKܮnI1c.a#sM^=ȑf5MzopSmEB\Me*C%?dWO{H?􀰎GH^О9~V`ErSFHzDhg|r,֮/8lV:Nzy/q\AdD Sv@:/91_L ERҎpk@.d΁T +5\ʋ(i0tvwTwBVZgm4|E=-Ȁv'Jhk9RgSqjS"SF5O=hEH? p$߃{xZF07 iU9\1vG}vF+vP۬0f!J_`ct.x\fX1l u6EɼY'mv