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 l# dD, ]/ CISC-Kernel:threads=8elapsed=8.393cpu=47.639gc=2.208factor=5.687zXZִF! k]ŗXf[&}rsSb7h3C^Y;i45j9 ML?} JdDty;"EvA"};ݲu$I#K2W) 2˴skXi7wW0- V !5.[GzKB4#CՊ_qlֱ͛.}*.{s8A"jJ2 '..VI`1x$X+p8QNB03pV(#@OddaÎ,A7oF(x(DP_J$ԿRncNQu04yrS֘ Z0L؞20)x!weB~kK ]}2dc|@>ؼGtUȽǙǂ2 צ2*|,a>̚2hi7- ȅƐXP=I֌NZٜBe'}2=$7f?M9JWtnC5q(W Ék' kj>ql\C f֬ޱrieáXP)ꤞAGdtL7sy hZqX-+yIX:BJ<8zxY1nhHSkB\lѩ:ʙ{.8Nb)T@U/!xaZ\B{ft:>_"z1~($3ڲݔgyg:gNcvBo]AX ?ɇ|5( `jj\0;aߋ#r~]UXQ(`#&`3OLP”F}SH`zHdV #KK%VbC/Ǣ)7}ǧ\i6Pa[KWId'?IKDE4n$H"h\wsV8+$oM,j`؟\rbcua.3* q05gYZ7zXZִF! D]ŗXi%>t}[(',}= x'Q!ИZ[xUsp!#is>@KAH^w`װ"zQ LTb7Zۓ5Z(=wdDX(A0 W85jJ%܌| ȈjOqGQqv݇M)\?"yQw73AیHִLwWf<.zv3,K~%b:3Q0ah AP : z8]څKWzEopsgڢ{3T/[PrE3Sı W Ә5'As:~l.>y4* WHi4XʮU?|5g8hLmw|9Y{Ds&Dj>4P3?g2mBƒ/~x:#dZLuO߆P/@e~رDyS.G%6dR>Ɇ"[b}ao ѶB; a16pY͈>EɬiO)Jk_nz3`,ŶBmfi7v l![YK]K[TpTBJAUzTȣsڲ"Ny4ZSӦeG8'r֚;N\8SM*qWAY|޺ٺAΌ8} Ex: |חa0 bn67MKSUIy?;|6&Xz0!P9Fٔ=J9^lgOP}뛛rr0|sCQzః =aI-E(z#JO!.oc;/bȀFePGtf~H`Z}o ifNԃ~s ȹ\y^g FOo{w؋k9$k)(w5g4` Pj:P%Oh̋ƭ{xfhgdDt(*1$Jykp_07D!țwI3[w4:1K×=b ՋʷI¼B\E]|ﰀ/~{d#V# ʪgYZ20f5e0600e3242aae014bb71a6f177574aa66477c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b # CISC-Kernel