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 1 | ]% Stream_Fusion_Code:threads=4elapsed=11.949cpu=36.380gc=1.092factor=3.047zXZִF! $G]ŗXf[&R g0Fw[e0OcN|٧{Y27,KCD3 i2nC4{.2̭8Ѝm V&[riE8~i4vz5ȯ`~hd!m<'(^ 6*,NoYo@+0h1u>ޡB/^֭H+ ^ycWy됏,{ދ9 hƾ{vk3C~NRyѡɢӞ c.Mz0&EÒKJjN )jaKgw6.rp cGpݢa.@_*84YnqIj ۱s9)Qь'v*%6ˀ\@Zj6x* *cK3 ز#QD}FfZ}y쁹_`>|GD=x/Shz괛x;vaF=POQ"$O|*dܑ}WoPkק3B ϡ1&z8=4I{).%% c6f²èw%+{Y@}Kvnūm4hM6l 4Ee)ˁ3?PsгǓn 1> Ts2DxN5|dIYn13/1/uUJ ;Z3ЈX8đTGَ!|NlSrS*c)T<F}H|s]ydMNdߒmn)b( 1- * I(HgYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+{,Y'Նh ^e|),z2tʍ|%:>F+# D2:@ i&ɮ7WV_6OgYZ7zXZִF! [6]ŗXi%B*O16fk'=pGׅ1ҝzs$=ujGXvp#u 9P #M#jtt.q3恇q2 d%Swg0/tI B>05$k P?]LےU>P0;=2>UAGZX*U.Zv (9wlU@;O@:$Fᓪ^r5t\3۷}+tBS{zݿ$}볈]Y12=EEdba :.Ԣ7Faٴr2YҮ=|r&dJees1t+2~*,\&Ȏk#T%uLS2,%uWˋ3 /HwYCPq(css{\L{1}iz#/,Bkx탇­ MyJ16DvKL(l9nQ}&8 c, i' JBT/J |V&w /aA"I7+fyt@+7=[]Ҫy?=th쓧!I\f`H<áDM,kDD٦ %9ٱ-3,J|QZYZFYR=*`#}u;K}8EK-VPUab[&hlkl4MS{/Gjo{ǚe>x l~~E['iKȵ2/0=7tn1ĔJ޴{@e(n#=znI6+%&J%)ZuQj<PTm[8]M HE }D$1u5hcV=gL/syϩXzoq,ܩVQ$z2-kOU>q y>"bQdiWMjcB_6whwvop!5fɷ\P1/a[!SOas*ΞW՝Ҳ=.a.]Y`~}\(!GZjKcɻ` "Epb4=#惖YķN[rvKXQg̺i H&c5qp \~! Rs/&]T%ዺTY~X9ueUx_n,R`{ r@H>9؂^\֊bYHX$iY9 a]&8tӷisĊ.3B7$y3Hr =iGb&T2@^9_f(?#JwP.`Ij0#R ʊJsf>\ Q 2`A &VgYZ303d987ae24f8332fdb0a42b8dd2fab882514699ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 90a699d4ab813a8fc0c92de7f31e81ec4d9fb9cf 8be2c2f1925c347bf63fee29e0c8311095cc30c0 1 Stream_Fusion_Code