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 77F \, ]]]ZF:threads=8elapsed=13.281cpu=50.896gc=7.638factor=3.837zXZִF! {(]ŗXf1-) enȈA"XxBT/'`a_)ESc To/I̿`[ϜPm:^ |n 3(zniߝ FEK&ñ>eC6}4륑3}ϷЗA2?! |Ô&<)@eJ:!-9[ƒTBki^ xH=֥5Mz!L@*~Ÿ&DKK$n?`cLy(1&ӼuЉxWɻc>#@n IK{{Q)Qy{a-ƛw Wáᗔt@g?S_煼@!qB3{PeɊu_Bॆ^/fw4xs̋p4 JZWjL)o7h98. K@ Fdxu4]GBMCsCRF-7>;%Fݣ+@+oʡ F i}|)Fy'E\AxGJfHzxrl d;>Y. řXmf):EO_`/$%jvKM#s4U:N@45I]Kf ("UF!LK!DȤ?/N((&|$oÙd 79@'V}nRڜOѝSŁʮ8ōGԾN18se B@2Iܛ] cZ9.;_쒗TU3'vhy;B!mGq.t6>(gc KI~m,KP LgYZ7zXZִF! s]ŗXi%>pXWaeeD'Y}䊠}b?1R,M?/+0{ЌC 50#A\ &xdӔ0]*y^$T2ɔ(j, M醬vtw6x皰!Njt.wY(lx\a=S\u_lH!61PUTII.]6z[>S4ϼ,O0xMaNVWWn c!I©_N% "憃oa50W3蝆˩9@9iGlHEzh-5"j[8_!-k=%gSwMrP!,|\AGA'_x SΩ\\f9t䙩wT6X9mJ-eZ|od/'r WR?InJp.N Z\s/񱚒hEÉI϶Α/uJSGfKxĞaF_r?9 9 1؈?"T%ܛ(Tώ~o̒+%D{Ѝ9-f«n9ebe|HdEV֯A縴~/,u1ɇ7S[}#w%Oz LwgTyHAz-؈Y˃xSƒ!g&pє87q;,& {=MsN.b&ͬ tbnB)I40p7*!?[?AOm|@i#nn oڂ759 r -}fP|(;keK̏aUS=B\}UkEmzi(6_os7Jŧ[N]cr0m_b}FP?}f_sELBBBs"W#V~ k'h6}?Nl[C'Cop},(Og;R<#bƄݣ|:\fVcj],<3,9o@`X #HOAUbtҜ[yR[$40TAvW6{풖v_Eoϩr=v(7T׏pn耱j^ؔ/V{nӀFMs*•Q@׆Tݵ5+PMDVWj+}7V s5ڍ N x]/ο}ǜ7kH1BŖ/8_G:/aZf,/3~D-zoɝߠ)" M hW,b2 xgYZdae33d5a7b56bf0edad76d204d1e96ddfce0b556c58d21ba3dc8b698b4c6d36f436849048b45c25692c934cc249e7ff5f6d99d0eac10ddf3c7c5a6a4  ZF