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  2l< ]S HOL-UNITY:threads=6elapsed=21.287cpu=108.964gc=4.708factor=5.127zXZִF! 8n]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yx҆c9 B90Ć@LJ SYX}]γ>K& 8>Uz Mj|y 32?3``ZR_z1=(ǡ]e= 7^ڑr* 1J6߬{Ohʅ(uǞvr + x^F9DT]`x>/ή,Rr!Wb6&F5 NzqW%Mȼ#|,:3NM<#T H@t`Qy$b^o Q9Q!q\ʅ /]tkLA+@n|܂] ls|5 37an\o?z#\, ͟@b? Ph?C]ҿ^O[e^~(}S& xQFXJ$?ш{(өj 8^3ZnuO$h6z)F)qvQ&"[S|ƿOļɴ; [KgSBS #,hUr}kw@8V^7 N{R<GGHpЬ^DO]ȳZ,Ơ4M:THyr5=s0]fQlt!`1%*c#epO+ 2W'犞O]]U/K{8@5_~T_Nĸt"}B\9i[vQ(jwTr rqQ !{?7a7s֐TϾ DcpkVZ5$g>Єfe=+' ^C?[~!|jyg|W3p>VeA X"IюaDt>+.zӉ2'Ks_RX#R|e)%p&l1jB r;FF6Ot>yؿ'Tķɽ&Trq ux95 Fe 3(d>BL6!ǗP @7͈F84Y.t@=$f!{5V Ʊ04<%|'@aHx l^: ZV-t;O`[[,nP$D4S#PagX na<,wPz2*7l%,&['6ʰ}Rk*&S (@[ ~t=S o&B qұgYZ7zXZִF! ;]ŗXiɟ1'x^܎ H -3dSׅ7T o#ʹܸ#oQlD{"zvjekAvQc|6], ќEtN郐2Lg9Lf/H] ""[;_^aʟ:QZ&NzQ]@)gR$̔YOpXˡ%2{y69yz3>V!\n:Pz|Ey/96#UCϒV)7v#-/Nnc|)Ysq7.4nSa vi_k? !9u]m[=|7 z  G[.\>SZR/N M=|9nm˺VOu3? Ǘ$ruDSC5)_s)jKK_8Q ?FB)A`tmf{%b/zjq†g<2ýtKE ߻5^ P7l[%:ᖐUP-MϞBRGjs'Q=-0DB?uBKYf)ۻ8]&/"=?7u+$S6'jTC=xa\dAz b< `ԯSmϻ.EoҘu) (hMVBBɲб2Iy])::vvŌ"[l܁<Zfâv)sAȫ9] ,%<w-_4/Y([16dllͫĕPT;*z] GG Ky׀d0Xo*e:; .R W~4яD"&yITTR`W.tuv {?=.Fn!S8ji230wE..B)W)l&E,%;uhʂse8^eW2AI[m:7]wo|$Սx.ۃyq6/ =QgX-8mt#c6*YUFӪV.߁>Jt9ndžeLSR|\/6] kIM3sq(kPp).Ṫ&Wc$v'9s2^͡^g,J.gkt@ |ra2K1JsJO\*i3̫-"Iʖgd$^9:G양|hGuMg^ v ( .IbhHpzE%hg`=z^ޥzʹ4)_ŏ1jk0U(ױDwCҞOiY$䠀CkZºXIo"٫ p/j$11~<)&rDCP KD6{a1&w #rtso ITcyw"!!}OߋIkOt_懆T(:)DND h[}ilȼx`˦':p<3Ӳ? O\k |xš=B6+K8)xڧy%#uE}r[;X^hU0 Y/f3DęGNZ}:?R7oҒFagᚖظu 7ѯ Pc~%Kdib]UjPŸySK(:L.[VBjт+=,Mb1VȽ,51ot!^)kHEuՎCɌ30jTtmWS _Ӿ Q#L̕