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 M# ,L ]/ CISC-Kernel:threads=2elapsed=21.822cpu=40.892gc=1.584factor=1.877zXZִF! ]M]ŗXf1-/6vRZx>3ddCQXfh^x[++M̵3fFK汬X2>ee^ ›-*lXQ.Ei]c4t$7(DHe4I[ _1pɬTIrfG8: 1J\G2*FYHJer-SMm"M_#q`T {m:٘a  j(@BZs\i(ZWr8_7x&(hՅq \V2(OUp„əl4y(z~R;٢d&0viXpAod[ɠɧ¦.Q}z8O+뭦[ιQfy) 3!4eY~mG*|Vx Uh?#Ly;٤`CFÓCC ~R`AHwA@*﵍a:_Mzj*O$sgԟP\ S}f_H01V VcP2Uy6%}#[GiΏ <:+As)A äA leB"}h@ϠR ω8OvK=cysLb$p(n1yȵF< >i|u q-e; 63S]O( &J쾣G xSJS9sfK_EZU>m gYZ7zXZִF! H]ŗXiɟLN.!}" nPBڨ&wjnt.SU9$!^(E-pCV>w egv+T1"Zpd d0)YͼbQ4Բ2}SEä7WOj,e# YT6'ᓘ%s5;KPu&`r"D5Q0d cɫEeVF Ǐ3d/2Mh~ 3H~lfD`>J]O#D" *)8n. ƫSΜ 7Hp6 kgYZ7zXZִF! ]ŗXi%>gs4ב02M:7tKNxr*A/jӃ8e8Um:WLNM(ѼH5\IH id:75y5M[ |bZZ9/YUks g+4hՈV}vi(QB,1nR6vQJGWu'D KMb_L{hmyXo N*kf#qC:1]Vv=!GKܘ0a߁ &P~Idܵ+ҏI_  H?~{;d@ Hp~NL il9 No'Ə+0 &u ggB% 8z3{/ [L'R.;*ܰל Q3}-W%"tAJ,oYCr!+$,H1&볮Yw+EP'f1B}UzW;MU[ DpZN )_@GBl?Y IrL@O1^d$λ)lCIpGaKh $Rթhd!͹f53muSF4$wXhSwj1g^9s%ϰ/IGjhB XRU-@! sar4Li m>,&=(!V7_@`s6N^Wo ybΤ֞aZyD+Ә[ N_hjZDnʹJ%p [4ka'z %gSmƑdDsHṃ3fenC)Q}됣2g7,Ǹ2AS] ECB\v#R677aEHGkB [sY(%[",E[PUbоMU5 #|I32Hp*[`\xǧ+8PaPs@WLLpيUg5rQ훮/w21EG+xSL|V8NtM[/]nG)S $Htd3_`NmtKx8 "276kOu'~ʈ.cEɆ[S_e =R"F W)|XVϹGj>ʠ1AX,ٮI;k8H9c3ļU= ]!JӔŀS: ɎI)dS?mh'9tf3͎orGo&o X(Z,[gq4X)KXV(*}=޳7Zj!ccR_H6ykpISu}PiHQg2X[4_L8`ӤV Hxz\@=5tIwg^[h2bydql U6_Y [rv5GYy)ҏYrs&0Kfҿ-K>DOLu{ svT&۽[a>Zx>ߥ \zaA85#Q2P2 S1D ph4vr