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   Y1 d \ ] HOL-Imperative_HOL:threads=2elapsed=76.085cpu=62.500gc=2.036factor=0.827zXZִF! -i]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvix[$@_yj=r{T`hjFB ̤&ǹ6ON-T@[(X,$+X))Nyi=,x}%67*mصvvPesKv%V\;@kA)Yrk\)1nUō0 qS~dw!b eI==j1]0SG[Eyw/OXx,b6{9ɑФ}=aґ,DJ_k'ѳDZx\w !%X Uo_>`]Nqn̯\Db>MAwd[kY?3E65 xΗR~1! ;魩b9.LCl%qȻc@(kqER &`L,cӽ罵=l:V j8I `t.Lֽ/Dnk?oPoʀO.c~.GVƓE$RhX+EiyL~ɯOlV']XՋRT݄4O}P-: w/Hx5y<`/ nU@,I\^ڣ8JϺ0FB i;DP.]yybczkDpꚟa,OoSπ)Ix '{MQ %<7,z8"_Q]'~O,C3+V$paYJTF3 ZCgYZ7zXZִF! ?]ŗXiɟ1nhЦx"n_8N]( eOtd; i`ʋDb;4|TVZ*PrEG̨Q5C u0Z<ucE|4&ȕǭCEh/ଠ&U_k( C@ɖ!HZԈ M 1 HOL-Imperative_HOL  B`ec>% ciM DxSޞWRY[vZ~ҷ8~M|)VK̩}!1&iK+*KRAGQ,X[,,w|$r" 7Ko;Nݺ9 {gYZ7zXZִF! {og]ŗXi%;A;T6 5i%KBuӎt  <ܨOyq!. +u- mZ6b83̽ͼ FBZ4"YV]dwP ?eSs7kodFjlґمK߅G.Xho#[ L?YRP5ˎsxEA*Ы7=a0ITL/ x3>^,ST2<T^%!è!IĆ-*q$:m{!ʓ&ᴛ (f#vW|QVMk)\B/dO'iyJIPOglLt7яHe4+{CL%j ` mqk۸˕`]*&©9%URU\_֛^hjc]?< G~5{GݙRH:/.*Ӏ1z.>6my1d$F6 ~VhȅaG%PA4!ϋ 8=tcg̳2d6r=ym|-A}ijcԯǁQN+&m"Erkki8!ydĂ&L6P%`y8h,X*Q;_f5m#fZXF7[m JKR WgO0%tzs#: v]04!CDh~(Jn!@-+Y~(k_J 'J TQP5R<²ɇ$WN7mU,Q%##arOΌ˃tϳ\47n+tJ06}$PWPN_Z)PUZb+}BK㷄aamIޙɪ\sV=FNǔW lR64h*sXĂ+ez{3oqn Ӭ~8^J&X{=Ɨ˻H4='(Qyl[xI,C֘:BC QK~8/l!:Asu35j8o0Stߥ3mz(yDp1CV24(w"Gg."(<:Iĕa;9=k#꧸05`ߠ78MCniƌl'J K:Ы^!#K ĐO%|ҭdU9YKפD^!BNX:Ҏډy_~d]a5Б%T*;eA!$`[A:V)S%dCǖB֜9C>DW#AM#n6-\g"$fQt ͼvִϡ~5Z,+hnBN%@h9?:tPqE$BZMҜldC="KWN3{ybtb+8ljM_`kCq4"i^/UJZoC>TӯYb<@8|ݥ($2 G_a.+YXٺc+Fw'߮ݍ\HK|dnlFlP7?}>PVo(WFýC>8_j? pv tԦׅKGzsϵaC%b}Yuy߆@gbKe.16֕pIOW+* _5HX:  50֕~Ɨ7ޫ3*`ۘy`q=<ecD<{!|ӱ\;SO3WT#WŃ aIZ$UV ~QGIUW45yКKT_Mk# 7JGNKwE3n(8HV'. %HjM[&Bذw_ONC~_gj&89>0DDAZ;@hh`5B׿ظJWds dژcyN ״ ލm<g]xkQ^dBﳨvοZK']W-s\0k>,mEU2le V(r@;K6}CۈM  Q+[ǰx׵$WHzSiW'&Ë ma%dYWB^ݵ"6ȧ D'Y@bXe!G ,i6W=]@ Mž 3 oצ5Ѹ#O3 RAb*]W$i)#gI,J:D=3,XgO6ƬՈI,UmQߨQ:5#aօn酑,ᐠ RS5{!獲 4iC@׫>sU/=$ ՉU<〩R=.G%