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 m1 T ] HOL-Imperative_HOL:threads=6elapsed=36.197cpu=68.260gc=2.092factor=1.897zXZִF! -lz]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi{}>v&M򢢿jkݢďz/MoLu|"I~4M{3@yYd‰)ԨFķH%c*0-&1 H<錯z^(;EȒ5<dAlk3>hoZJ@-#ۃMoج&=j54-;p cvXNa ^w%va#q[׫Tm ZI\VhFl 1 HOL-Imperative_HOL  d5Ec]MJBQL2yɰMw;W#e`Nt҇>|,.NLA>57oXr@]z/3ەK\z,jJ|OBxb@\Q58yc&Q*S~à"8Gd% x# }lp7*0 3ƇT#3JŋF ( ǵO:ޤNHk8Mu`2 V3mM:Ԋefb}|sch -'PlR>ېeq^U/;dd 6-1&d<ju@ɸ Fl{qփ0eRƫܥ`&.(0=Mg١,|E ܗ~ o(g<x~ +fj879r<=ua4,אF#i5Z<~3Z@O)e[P>}Ry J]uڶbѧx^oy1\j` }3EU S7\!Of"|yecK:!מby1(aBWLʭ9ը"mxSvCG 棳ɤtJX  4ԛgYZ7zXZִF! Da]ŗXi%>e@a'-vs ;CeCe^DZFIןim@A"2t无+)F'x :X n' ZI[A@PIov6 qj%2HJȒj'n31i)"n%ރiN^N,U^P"|E;sT1)+ aYF$lAd8}-_Kأ@?0a_N⊩m;eFr :h DcMX{5㗁6҈CJwd/_%}Z״Ns |Ff ` T' 8g,}-˭;0{fgn~<01UMy}M!Qmvsx5HGx$^,ry$`1Xrm9J*uP`r{uϤ>S,:ǿ=ipN&J_oc/5rvEȲ`{w&q"O(7 ^{GTO ځLjh-F:IcD.!!01uw  J.LH _D-y IQӶV  fuz95ZcM)Oݸ Xg#Udpk =@u6Ł!1"96;(Tp rɴW)_HSΖOZp!j,sύ3#Q5uh8'*B?C֕d ٘L C; h}˰0ݬ<fjdA9~ۻVflsvI׿ Sh.!2lHc·i&j\`!-b:Z&qR_jˆwdu+bR,? Vm> u ][0EA>FLbwD}r!%  ڋ1U;[xw:- ~K+a4?o<&J15$& Ȩ ~?:C> 1D\d^zJi?O0}}}|ЏN7CSPUՆ)ew8Eb!be49\;ծ(2$ ۔'4_4r`PgǮf䘌Nt $Ra0|2-Pcr93;!9Wwnݤ7ǭͣg[-wW8M 5tkg&J'Е9%6(lӵTxTOZ9GdxP(7qq CGa>I!e&8-MDuFe[mF6v|5M>XrӾL=wU҈:_р;qE@cemƎ$eٽvD7-߈ݤݳ LPVJ`/x3מc ! K=0O}  DGI|1d;\4ĠK4VsQ29#rm4)OП-,^mm 8|D.HSBLf&Il&aI ( /(L܆yl4]W\-q+V5Ȏa%Djr`n n> AFx'[}0x(uw*+c ꇼ6ƝN 7KID%lc+UxX2/{A;|gMvSQ^zv<+Z|D/cCV_&}QKjNT$p-:F;lឺDP{+aWWݺ?fNkHHF1NP