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 V/ 4T ]% SDS_Impossibility:threads=2elapsed=55.637cpu=77.980gc=2.128factor=1.407zXZִF! ']ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,M2}9yղ gQ Ǥэ; }KmOg,{EJ~bPVά_ryQ\Pq RyMlh'B/sE-A3 $J,]?[1by>9:0:.AfmUuf5sOgΡ 0z5VX%H F.-!0u~/l]\غZcV cyz(^O-^jZ֨ݴr[ef!חQ / SDS_Impossibility  sѮHlMJuIISYiǀW9 oES3E1 0 V]< Us]`''X$H5M$ ZW>&b2' Gfm4ĤT:]^pt2hN_edi.XϯgYZ7zXZִF! YK]ŗXiɟբX LT9W"qP}G Eyٿ+$J.@v;2N pTmkU#FZ6BgZ}YZ7zXZִF!  ]ŗXi%;N&N_ b<7 w+=8z+V}?Klh,-oPĠ' \xqFJŝ O?([Uep~sݻ0B]J#f+6MIRKp+>!~]mQ'yj#jNgtyeQelX.y l@b._9"O7d0ӪyKO*gNni*N-B{Z|7?oZ%l\~bI}׋eXu'[o# \`cuڤ ٴ q ihuZZ'Ok2(I\ѤNG"+ %+bGw?x_˽? 7 VJNoRC EғQ?,jy`GîMPwNGFPU~{PyF ?!;$j+r(rkS>AoGlSV܍to1"`od X>ש/Puoh{3Kll~ES&k m&-lq!B)gUTA;Iy1Z 2/n]kE5Y9 l`/[ӯң_|3*OAUX[^FY$̔3J4]1҆m=' -~:kLOwαB3{sZ6\wqխG.׫^tS’Iᨇѓݎ0!j)ОFmfko'F[Х{C7~Va~/AG"N5[wD,,UU&f G>0<84L}Dof::Y%Owupgag8CRwɗһ#|=yBE0Y>*:>8- سϛP (m r;_0;dZ@ /`# VLI8rW!< $p9aJpAI9CASۻ4W0\cC-:oCG#pTJ:=de}ޮ#q]4SĿC3Ú{cD$b. ߝ04DX~uwbVVjqcӓFAOk%$[D)Kԏ݋CˏWSWxYf\M_P׉Zqe.0geNQWog"V4)Bsf<[G0qؤ!F߹ߎЙPpO%.OyPEDqf#6YS JB F\&B<$rqӺX0]z?A^aLk,} c/YģNcPdxRE ׍RpCQmo:n|`) XfMKW6'Wj+l6 ;󱴜P7[cbIˌ!VMCO$4 kI$l Q8U䳛ݼ89L23.CG{l=2L{p:#:}Y9'1!L :6LS`.f6J2W:yi`]0Hk`|q> 6߉Jي3I&f2`S{2 U:gh_nbY iNw&\Az7K)Kn{n33(dy?',kA™z{Iw?k)]:TFL50ɻao&*?sW59?9 쟙!a9Qz;,C n s҉,O&g潦K0lZ.k4$ r`֊N;{D~G@O~dVn+r?d܉7]z^6³5RgSk<{VgiG]+|>; 4cJ@/oT2T}.]`'X-^ P $nP^ط%wXե7?ܓm"IMt7.hDtk+VH.]fBi5x'גBxIݢTņ2m͒.A>7%Ppd@~BTCϹP)vOtً"10#}3h 5G͚{=ejI^oiAC7Jr )_Ej G>nXSa>%}*=٠.*r +M} 07v~2N8肫k`{ȟnGRP DF@5 U~tA[QN+LiȀFzޏ3J0 k1mY`i{t^MgLBG( (p!s F|.ԁ"$5t\O!E1 FjC\i)Y!IK*\oׂS$En3X׿"~dc [ $ٜ/TQ]?(__ڲah-ܲ-=_hؠp~vgYZe4d9036fa9526802530f2c0480daf2238f3b5bbc665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee b16ee08ebfca5967a571197bd3aa95bb88e6c232 4c8f4dd29d74e345c9ce38dcd94396a1191662d2 06c335f044a24b0bafbdadeefcdfc0df0f4c3675