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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info h h !$d< ] Splay_Tree:threads=2elapsed=79.801cpu=99.604gc=1.808factor=1.257zXZ ִF ! ] ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%75鍵bt!nEp1c-hxJ B|fvy&`2N}uegGᛦF]Xշ``E"mQFs2>E\R% (`(9&q:S0R(8ZuTΒ|5j\ޤ)G-ݞ#qBITӈ9G4q(ۘ :#0:4:;Q3 #HMhm5>y1R;`Q'{^i1 *߁3?1 kt2'NĴ-Ktµ)s 5@ؒF.2@1"zM\f߸]3g*9xإx5V8X_J]C[c`>p\ݚHN4U4dﶢ <+=J)%>F DЋc|mEiih*`pZi0m /@gpHOe3>?Q4"2X H#y;5vLҋ;boMfz\Yf' ^!
H-zMt#/ 7CauK@5mk )t4; 3 ɱg YZ7zXZ ִF ! ] ŗXi
! Splay_Tree U!5% TSplay_TreeSplay_Tree.Splay_Mapdocument.tex7zXZ ִF ! rc] A-MՋhvG"uIBm5ȧTl{Z-o3`<|NV8>nfu⯄ ݲUXQxIQy4hmȍ`PW}tU;r=LqQ_P 06Gsg..Q=6
dHaWY
nRX
:V[FHnE>Q ǯ5#Z]$@tr9l< eRw@7hQ-vPW
X]ΩOy ?)</d Vv!7GߛC3@{1R^g;m?0WLδ4!+pZ! p_vm(~ JoѣfNKlO6JфP2?Tocni"NwKOȄTq2S4#y^:%u^D_ H;Zpy;A̕yOy ["~lFМk4,L87Z 1,VQT\VU|'db1M+A:r&($V3L(5W
B(0=`kK zn|9_|(u
Vtr*Opzٚ*FTszÏst56˯QQZcR~qu>juf\#.N}Ydsg>*#~*y8fzkQ.jj"U#7kb.BP,BDb/qpvu?Y5yPUC-$3;Stc`
6n=PBt-m+L]έP
¢m6!MS)=xPq6_Hx<j\@:$sNMkQv]$XξuV0CsDȒZ%igF KoxE}N ~O{ >ckctߦuCʚ+wTünb p2>%~wF ıc%9( a6cr ݖva͉bs)b
}DHHkTdQ+vϭabX2f~*mkv8WFv~Tj^Sq9#xqGw;p\CsG5L k5m$)hd je_O#Sj5ѬeMCw x1MbWoo >"Yc^gT`I:yY ZvD<;/aW"kAWYR1l@LX%Jqzvu䔁b2t/<%$X-,]%;