SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  h h \\ ] Corec:threads=4elapsed=68.137cpu=102.216gc=6.468factor=1.507zXZִF! ]ŗXf1-q恈͐7ӺV 1̙ GMji YEh&!9 cN ^lW$:ӱ,3\2)Q]K(hH#* {LY!tsosKuk?}!xCcWڭ ,ZmYL"ܿX}Uct[pڥX`7h>]&`ۭlqV6%%gYZ7zXZִF! f]ŗXiɟ1˦rG1)IuO͹#vxl`ŗbWp{,e1A2 ^ʮnY3ୂ + gYZ7zXZִF! w]ŗXi%G̉SV8*ɓL'JH~]<:ZtSV?0Y=mr9 =M-cj*{w!~o~'aYDrbƨDWcOv~X3 _4^vSe\m,@=l\ȸ.(z~`5rQZV8&)rPbtS>@zSR+ş {'X3[]jp7%\Q$^n#cҥf{#u1+MeM}tƗ( Zmˊv4=K9-B&yin |$y&OCDn1xT[  Corec  vXɳ)u^d)7;uG/v6BiKH }ҹ6 k^%C+M>*u >^%3 /\RgIk^<ɬuODT,2 1>9o,#MǗ?'&6lǶliZV̒]Ρ2]pyph `I2~P^jxNViHxͭ7_${}~䈎𒽨nszb< mcLR\Zs ỲDsOHGEx\މGߨ(Rjc!\7Q**j/v#,mKkQKMO$Ŝ,GMck?v7\w9_VW+9 ιB-+f@S6 4uVd{f|Dai7cBP70;:ƣf3qL8oa؈K;#hc7la=lV5}mEA绚v](zDM֘9q9Ϫa wW*|]ɦ^S4%u@2cUBXFMmAnWΊ!IE vur9F3ђ>1vaIE /.XNև㿅L]4j62!T5pO\-N =lBn-5h1CZ(`3xŸZv!F۴%w5ӕ S &vo9 ˭-ES6Գ$X gDٯ; (䯈%I1@֊L)=ȇȽ1erTBI wm(z3FmfMF^z܌R S0RomӅM yaZxz#GH.>tB}? )f1k*TMQ>t&ܿHADW%iϖWL&0R,"=#d@UY))n^?:jeِ(7<sqb`@M/6n)h)Ʃ0Cs~ʪЩJ_ c(p aMElM~RTx MwSv\MD.(}~yN3C!WŒ"c=k;DjPV5ĝߍ#vKD9W ʩX(gUrPMi< LAIVNRAOajÚh` C祋X3+Lxk9||K, }F;ABaR]s4 xZes]~ ք._L"輔ڞնhKG``<.JNoPÄ֩ EਔA܂piK44wgaeC' Q=͔lT_1g% Fm;yMVB+Z೮\wZeVZ犟.kX7`å4nri)j(eU%~B8DGm t(~jHb4X'k4UB֏+r.6ZWz'E?PNlY#-XFZŴA-$.徒P }՘Ny2^z;1P9B/XaDN[) ]z,WK %AD6*5?<_L~NmA"]4O]َctr0>$=Qux5FVj7;Y(4P64%kI?#)::]JHFSPTf9uN3ö(֮+(L+"K]sN3(F*xGXie7HkGwd6pU& #MO;N鹉OP Ges%JV.)El`Җ+ ~?د3- )`(,%CX6  z! Y0ZoJ%!Tr~ocS{ WJ|kp|%v׶ q(;?BY5~yYNЉG]¹ <gWj$Y&f}W_u,dņ8X'7usFϨ$zVPjxɗY/ȷ?{Ao;n~ &n+u p_k.D`sxjej0 Sr'\6G=`Ԃ&/wTEƀOEV %K(.^<|A )A+ ~?b=qܺwDۜ=RgIv+nˠ Z:"3czZ3&#I+iJG].ݻ]}޳BGj5[¯BUuwyݎD՘Ї:Y`T/R W^SA zУY̠a`džnf"&ܛ$Xӕ w'F}9h|뇯qV5$}w.n9gLFyNNU#%'0ĨL%+홄S'NBd{#g_ŋt-P窆#"fP 3BhTa5J׫q\J&MNN<ܑ)UaY7rh.&AF^ ;?^Q*cd9vb< 4tƘ8z" 8\KllP緉Y7RÒrewxyE!8ԚmؙB[R"tʇ)+ekb+,yp8G$Jo^o|pkLH4ӏ+)/Gpt1Dui@Q˸m8ߛ36>#%`ՇIGUS\| ˣf!_vf);>]O¤0(5Yklэj:ʄtp;!YIBTF;G#N!EbHQE#>oVϘ< Q2@]#Ġ#ӝxjO;XSqN$,"nes4" 6)C)5ԗLb˼1GY