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 [ tL, ]/]HOLCF:threads=4elapsed=20.576cpu=53.244gc=2.880factor=2.597zXZִF! q]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>ViM.$ X،ԏR1:Ļ(~z}M[8XXzhL%:6P2 u8bv &s {9S}S5&,Q6ij|^$$ hCLl=4H9$w,~KGgDOt;ь0#FmDgnoV!MH:j趯Y0@[G1 `J]U@Ϭ303_#ě<ˈN8]Hu(;Id /;<{(\bHdVh$IeyVes|93sl]Rn0'WSub_;߂*Ӈɇ9S2]ͩ&?[PϘra$j' p6sG8~V Lo5F!qLf*C w˘VGX :j eyV mER5np1Ҡ+GALk/\fŏs94S>흂ݙ ^XU.q;c$/ #s_$_N6%HuU/dl)QIjhy_YO!1`IT*5&W:љ(+3ʷPѡOUVYGOnOl:uD^( K$3t|:[gK)ZtJpeh`. eX FݺUkh)||zH~ľ#2Vm3=4 S`Ey'c 1慡Y2"Y­=S&JRD崆RZ543gYZ7zXZִF! 5]ŗXi%B4aQ(òEEq%,g7c|]Yə.p *~M G5f%4u0\fI C\֕} UO.tIDoa@>Aerz]m J}Ml8(=5+eIL#kǑT]!E(l@YA׼Uq6"W!,߬C:n7iګ=Z$6M%P[#Lڍ7@>@NO|ӟʕj['k J`[^ϯl#B_ ͚}Lzig1 E=JẎ$a[qh *^ߜ˯a.͚rr Pѻb3[t1pd_!j;z$;$n {jӿL@nE0#G{"( ԫEa+(JV7 *kz$Lz ّVάBa1 "RG JAc7M]A@˴~RjjA ?~p9uEOyW?.R"siH!}rs8굳: ݐqۄ:c'8ønyRҺ>H4^5yx qd>M+cjj^X,Cڨ^ jNXA`9,-1W3 N(-+S r`\eXQ{E#)_ 7oA}M z?.9 JJU]4wKs{: iB9f|J%e:OXI- ؍4f] jv6l%~*c:Rt: {󀹱$!rKbCnt >Űr;m5f4V4`x:Gkj3<˸f(,;lGY֦F+fId 󵦐 #|=@t0G9^4X>UH#'MХ׵s. gĘ}Wn#a~-"-NFE5HMD-#kFh [%7$5堳>sSFA, m>뷤[ K6W<\LT ^9pGl)PyU/@E{>v*2OwP h㽢VÀ1 #`>yw?ū}|VQTm1_߬LzT4{li_|=[4+09{φۯdJёث&uv+!ֆ&B3 25H 3X+6yR2*\1*^ܔv"<7ebLrfHہ[9ŸRhZ&*U2qs7o}|K=E/cVp TkmP:Q󗿕kjYvg5}7H9gd>.AXj͔+~Ð(2h;