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  7 7>+ t ] LightweightJava:threads=4elapsed=48.204cpu=94.844gc=2.512factor=1.977zXZִF! Or]ŗXf[&!8*TXzX蠎%]i&b==ʏ ]0'c"cp*ы7^3Sfo?#$S?DC~ljlM+/0ʋoczl C*4 n#ʇ ĉ?zT5TJOIzcq;c˗[C> Q! *5|Ūk]:Q)(;C;R7-\T4+!acP5j:@KmMZsf0t)TGʕ `!֚&R5 uX\ 4a^@niwx3UVx};Ir?b=I676 E$a F]n!1&ϼ=0œda7'*o{xDn,Pøu5O߶&; 1 .s@DDPqHF\ Z + LightweightJava  (>03*4M mYg6<{щQ09A#dR:q ZPԱgYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9cm^in9yyURb$.կmF%>FxxPrS?ME[ gYZ7zXZִF! z ]ŗXi%ES3fr!5*؝JHU y0wxT6s+܊/D~Uƒ'KfO-ҲC=%!|G ԭt@E^%V֝`O[ClxS>Nu&YGCv;pwMBD,70d}ŔLG-1i|Sq4=3h8|w硘2?w1#tX^|ZFn]Xg(!~&g} U=.⶛RZܐ1# Om|f;rRm*:ݴhaJ'>h3 Je==f 7G~l*iypWˇP 5*c'^Qz_uc 7EB 0 I  3Où\7Jsej!Gz{}Š"RрX+VOљ0_C($ܟ31̰*sDC 6B-Oh"Afdއ,s8 &y!;p (CGi~B<>)|G:eʟE,&E>JJyS亽ft.PMjEb$%o|lJCV$!J9h3r}.,B[}o0=WeN_R$JO'6%+Vj $8ah@%?2k`'kbL)/EVLj~B |&jύ е4~Y[ay/m$(EZ%;|%ÓTns?/XS-T8gW l{׆#UfK#`];@7ź4 ~,CO\F&MEmG󄍖ձD k+n֕81px dFA{` "B[v ٯqá"FYbR]McOOJ3u5S36Ŭ3"u?rFD0a=,ɉSϧ~A?Sh㧋UWJq IW1K橴yi_={@BAӘ:G_w*B:շ Bݣ4QY0Kk~,EUKHP6ƣX`Mj5jM,a !I >^N %,}L0 ieٷ5{C $aySlѸ$`mn4kvfSب5%yIv// g:IͲCinUrԔI_\m^t I H(2/!p5j?j¿H|HbeB}ֻȳÔ$SPle!0(-{obpY.!՝}荈~X,O{dSX_ L˫q1YiVTH3`GlA ƍo#XTHӻ6!%i)x;|pX`b `#"6`ݯ3E7IԺ{:FAbЎߗ̔J$5]d*h{6-8ɕO9J:Aie\"*/Ah1RE/g)!Xמh")o1h:q^(SMky}lN%EC(3'oC)%Kpyޏ{@MGYҾO%E%2(}pet ? ]η-_\ VnӥNOC^U`Mp122N'|bp֌5vGp]σ >X8txaT<֬I ֶ/aOٻr;( Hy [|nVL3ĒΣܬ1yN4XjJ0k.q6N~\M'9TPrAZ9h^839G*kHa7c60=uM wONwZ=ݹWXZk4M5aLe)j!m-3@~dl8J^ $!,[ǾMՇ%%ۜB`4, `$6/^Հ;5F[ \7U~O8J|kix7[2 TNM]TUxRhjNsa)ԱY(L "_snzS#!w~IKķ:Wb4ZeG,i %BR#7n(EX='M<?l't; &BdŊsiF ~q+%7n_6.MgdN6sIF㡸4U!h XvV}#2r{T1M-Sz=}d2QLp ) 3 ~]=Y6 3M.Q)tf"vm{. _7x:iٰ);4"IHaQ ijC1VZ+;썼lZ0RAD}9)2Χ,`JE>z "6GLt?њ>;6WD+ CI