SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 W DD\ ]/]HOLCF:threads=4elapsed=21.368cpu=51.388gc=3.024factor=2.407zXZִF! \]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{0Z7hj Z{ Oc=ՖO> ߩ" 5uOߞ ROp\Ŗ:L>x*_, 6!Ur"  HOLCF  & ܖ|X8ou"Hn(g>#8$w;y$&q fiةd:3h:bMsúlrŶ ca.9[]d䢾~`vD]F9q&i9_%2Vےиz9!xhQٞnHB29,v3\wn'$acGP7GIqGPYp}!Bke Zq$&ѷ2~A?BYg|ΪgAl~CbVi$ ݙыPٞ5Uj7mC7(B;%[?Aw$TS3G_$ lBT;q+e𴅖}._Ȣz^j.npN8Y,9fq#=b;l;nt*rQ/ 1)-}25wy Nk6sM#풲.;%/|-:gYZ7zXZִF! \]ŗXiɟ>Ӈɇ9S2]ͬKq Sl.ZW6ve+vwy_S$(i:qlJQIgFoŝsoq@rĬ}ۆUmJJ/B 팊Bzvwm@W+ KSnmmyC+ҒEZ+."/qODҖUot.%b5gYZ7zXZִF! o e]ŗXi%Eb⬓ ZpX9O i!M /)Ŭ#Ow}ol9b(GQGz|a)@lzVH=5',&(~DIKX&e ]f\  R8ړOI*-|'Ik?w G7ش_[bw螀Ws JFZ)oCPXxwGĠ.p^GTClT5snNz^-.6cujvɠ^btNx4=N)_sD^>`IET%kc͍ }:a3=Bk% Z v #v{%O4ǨZHRDL Ǒm0:u8UڏiHACb1E?.ktyW̖tX.|{Xl0[7`4@'")YwN<(:' TJF\qo?i]7 맣Բ0vTIzk">(xS"WWix]t-JAE 5%,R1gӰmD=o||T~^~:]jWC<`=;!Ȇx0BՌ_JkxtϹH:䔉j<}:|n.奆)./GTai_j3( P} ά!rygKÈȤ%20dui~)ϲ9VId=cvH.X2XmW3v{e9P:c=J E ; ^ٛ x؈2d!xW vy*i`%;du.sA2_qSV 5koqxYhNM`> )kVpӊԵ5!6rzaIY#T|p/[ܲ (n*=[4ƞvEBc+uv&/L`np4oI`KZ(qגPӹםP<$K*arg]""eԷ[g 67oWq a?>ֺP▖/iZǃk{a8p^ν- E}m+-8]sѭU+WS\4sU(ZҲ΂eX$]BI^!j 4ښk铙wV[j"u:_8W sX^hp w" y Cs6dh5j6H 85)f>,WBlTFk.k'ŎT;!t44W /ЅD{b-Ġ޳` )nPc] pGBq"t?Jn )~@Y#6%̖-r]7i &76}d_s8D%r~?a&dނzG &hG}'d2.$W!f^Ls_FBZÏj(˹s7XƏiϊ%T76vfyQb!ӏ t %1)]W[B.HӞq*:/H9|ZˬMGiѶB©XXÁ_](\6!-{׊oD$}tA= бvq6=n;|9iǺLSGe!O9uYmm`T\ PmZH x<`'JƿM^ф޼,%m0@%3 %'S=}1?#@%<5GrUBh[6X^(ׂ)IlʒM#B!@ we*W ἕ TM& 9p6ՠ4 `(oȹ['\_ȳD_˫L "Qspu=%z?brD+{f1<|!+i<s`bKv+ ;PݥaRɒU(,V^ IsKo =[9Z0MYleTZkh`Haa:<li1 SЍ­Uno2H‘8掋&+5DhC3' זB$-)BbEez YiJgYZ405e023e097a9e31443c6d5d53f075d5041b51e287d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f295912865b5ebd0c8d8c5f4b933a88789241b9bda3317