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# <| ]/ CISC-Kernel:threads=2elapsed=22.293cpu=42.424gc=1.900factor=1.907zXZִF! X]ŗXf1-/6vRZx>3ddCQXfh^x[++M̵3fFK汬X2>ee8g p,.o?\V:"7G9?6{oB# +Ӫ ݼ)A_ilBטeDc8BԦްq{:^UpgaMYnKukk>LdTw ZrM4rjWK6ߞ$s{tR[ dyHCA3Zt2hi}A_̃Xbb -+̂fgNX悦A'ćX<ָUr#?'kl"ukDз.U={  lVbٽ9 6_z?ɭfjZy-Hh͓ w2J!L(A6.lOJ= r 3n 9Y+*t`v5(YAr,Z]%P a=`>H;[Dsf)B 7ܙ/`%D2FG,bLt꭛Sqj"VTkwC:0%aFi~?(j +xoM-0or|9<"Rgh$4ttd@0"3I8e N*OusT4҇{և%$?`Q4_ 0#޿wXO޷yb*K6RҊ5Ҭ{FhOM# L[gYZ7zXZִF! e6]ŗXi%>gnia$@.p6H_nSL}cR#a!BBRhx骺z3+tÑ8cWۖSǗshq`ṳip{(t[mA۟jݍxsCD=gQhc6!m^ +|vzU4lJ%J؀].{rI]^w)ie𚌀L:z Oc0=vE&P㛈Rթd/M f굏{ƿGO fX`ky/öh}Bmƹr't`#hw˫,r0fDh' Y]%K7ƐAӮzNYˠEџk۰w@\C+Gl"utOdX>aS< }Hcv~ B!r֘-t܈=|u2wACow]>h3BU`Du]&T4yU:O68kYЙxEUlLya4T~@c6@\<@N-$62iԦZ0AZF7[Th%7{'SK/2y-q\' KՑ04ēWE67n/ JOC5`#?ѕX͹#ȩAvבQz&[.wE :K{}"Vg LabR5A~u*,׀8v&GIoMdP `|m}Ja^ ÄyMۀ6ɴSr ~}O&OC릗H^ۧ+l;;fX.eP3ѫj|i[}61p4*n}Z$QZMu:K5|8x&5'f1 '%D]0C]+1D.W&buۙZV56Anr|{3-ފ5",D=~-d L@ᖚ<<)Je 0 ڹCm|$ WG/^AUSxG1Bf,{4gd;,~["f!a^, ){ ԩѓ4GWx='~*O~[] s "e.m/~LFa={ (2b0[qx𶺰r;meњI'_?xbZ5gR[kqoW&$9%7I`$9zq#.cA%:\Ħ7Plo#zvQ'M7>xP x uLzyehb0zúBwHM-:sl{ťjDoYAUt9ww"834v(L7YX`jL0+iNf Rxⷌ2ÊDƩ[OQg'2,hjlGYl<}]. цxBd3)3ҺF# 7BR~7aJaowD56,rd^t^q<`mS y(g&CnqzN0 +[M#VOr2|MEע{Nb|K0pE"0ӈc޹'h4`h/, ieނ7$= O |2{T?RmDPb{@]gYZ8a0824725487499ebc63d7f60dccb8745f311426767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 # CISC-Kernel