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  'L\ ] HOLCF-Prelude:threads=4elapsed=33.132cpu=102.236gc=3.320factor=3.097zXZִF! <]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uz*<`J..<󭶄m[b[hզJya>zS*JX,9 ,U{x;2mnF6f*# ^$pW _mReI~[zibuǪvW[U \^:Yp(4 4svLdF٣R8׵u{`o@a|^wːҊ +bU;ɉX? k9>zjRAJT:OTsc}boLA=w^yo-t2 KkgF,ۣ-wR`?b֨Ow i.k<8iשb9k`daeL t+Ӊ9p Nt˘'WzIJWHzcf59_oоS%aT)^;BoA sm<$׻ z$xyL٬xkh'YeAaRiqp\(טU뇑yfu*R:m̤ Uvƛ 'Y`~?oYY+|i?V pXUd:A;0#ߪiTd \A8<;f(""+Gcf8s}Obޥ|e]СH/M)yĝLsʭ*qۦ2c>,~K@ک.d2vPY{7\=wWmc`a .yry~y !^pyx=C|6:vRsI*D2Af^RerRN\`A˰D9RUYs P #+!|tv!jظ_RMj!?ۦ9q9#DNX&2p]^:E ~ƱJn WBbԉ^W0,W7 {[ssJ*EQ ש IS:pX;9 7$kO=ŏ%O-5Tb;XJ Ɲ>#G9bǝi=F3RӗZ0@`7b|X4gRY  XvGp^HS NU[IvKv8{=2FL eoΌ(a@Ӧ?Ψ81`CMqԷ_h]K<> mTIשY9I&|=y/KHy}CԶ5]P7|LKD±3B4>*Wɲŀ]#At+4Qf3ABMYS5J3 Ĭp9bm$G* IǣKOS6!֊/j-k46:vN}7XsMc}jOjp>l{h`lMR{t{\L T\ fO)Mpc&4v3 J51$N~NܓUݸYjM7rw`%GT86i5LOH ^qZlR->@MN5՟[#d}ɅNچ= 8p.+O}da4f6_#v3xIwWhʉJ[d5 +Ê^80#W6GA̴oSKT_XZ.TJ Lid٩, ` ]JBa&#EƕJ?&5V1ȵ9Pi(7h(Z:m:F0+kAqTl}^չ4t A22V-,h{Y@nu1%UGw M[#  )XT-9MT/`g QA#ūL`ِ[ڼn]n$YIK(%!k*J{Q5x|ih E,XJ#.b~ b4{cvk@JNz `VxqMM+6O2mO0+ kjuYadN2)9*wGPWsUM`?˜ύ,,&{/HEꂢۼ'{ 'UOP#d,eP,7L C)_'n}ɋkqdruQ[*.`e\ߊ(y<8FL8Q,btT6-įʉAZ[W)&h W56ǡ,huRzSu ܻw4y^b׺e{̂zn%0~ iEL /4::X}ޤoۙk1 "f`S&Q0ao\}ѵvXr,US-l잏{A #n#-(@b<I8 ~Gv, ;#&\ 0gIyo6 (w $!rhz+M'KGS2[`'X+?|P8i! U,Z//dpe:)ʟ4jI'(CEWLgWH83lWKTD_n R5lɚsB~IRº?rLd;׭h+ǝK<.jdj]IR3^f֞P~ @];Ȗ=84:Ε2 d30t2)so>78c Ėikw!#2S3#b,PTҒ=E,) ' D6՚UqX+Ņ#T ڢ^GY@5Tzc= TP'I9A~Fyj֜wUrQfMл%ql; TWsp| .NRql Hz\8|*J;T8, {ChwT.^3$ݍ9!#G!Eɻp\sg<\xe*̩ڿ^D;_iȟԄѾu1ԷB@6 *p/'+ ŕ#/8%7P~4t |O#`UH.҂e"$L#O'T9dM$Ǖq@*Hrߐ *q qHTz&WMV)i,(gk}P]R\lږm2lVoHRC_g/P'ts+LM<_A9]\("4a^[\i(J>9~5b93KXǡwfVE&ֵgYZ0e71449457dc08e1f8bb9bc66cde76b4a5723e5676b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 35accf6e077c003b02b1e81efec5bcac0026aac6