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  + < ] LightweightJava:threads=4elapsed=44.328cpu=84.536gc=2.368factor=1.917zXZִF! C]ŗXf[&!8*TXzX蠎%]i&b==ʏ ]0'c"cp*ы7]U8E UY~&Qa1:&Y r0 h8%A>e3ej/7I[TajMYb 66}EFa2gةיtmT+m+P +.-ͻx+6x)M|E><(5_b K#Jyチ-Et& 9E~B& c]@#:zj)5Raj$s܊%&a. UZ=5ڳ\89 4#n;!ٳrTa3r.3Ь#5WBmV6ҺmcOuS թkfPB# sRL~T-":=[%O2tJ;JJx%}CQxȷ4>IVZ?`w7ɺfS(tOIuґ%R{byJ_@WrRT9).E{2gQ︥&'WKc-B=kc%0E1*1z#0iI醦E8 0J򅩈|8*4`tE"pqU=z02F`` ukAE&>@߿Q h:GQk{{r6\yz*GcqXv*Xې~# VEE%F@ti+/FKyMfŽ(_aQËBU`ZTi%I + LightweightJava  o6T}"&Kuەx܊/$W, #&.q?vm:3J*~K$v>q{Ҽ}uw+h~+ 11X1Eo04kJMkFIDݛGbh1Úb6|?-]P 9[@[f!Ǣ}~)AˋTd3~ Hw gYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9-XsU(|%q[G%N-B#iU e%űVLjLD\/D'l Rgl"gYZ7zXZִF!  <]ŗXi%B&]tҟT`!p0XЯ*W1 )VT\Rn26o>nCY*0q `Сnu77vSr4|IL~pN^kR胓K_vi<# D9d4vK꒲@R\=讝z!T=})͜owM*a-nm]YP|g5\=@gvƌEe](;<'#@Tlۿ@7s@Izά)MgV{5i֋eBi6'zlG2g姁\xҐ"6)M P۽v"Dn,B\(D4i&Ac#pjcU'Djb#a'!z(*؏.RŽ0Q;\O IeeDZVh9j'FI9v7#oы kg1F2 ?T ?{tkcM3Y0; cN@\aXX{Qn>d4AM7"Z߄^?\:U2:d.TWȗ-oЋĉ"ҿ2.|~źaVɈk^ pBjDYG }Pr7;_!6& ?K ']';8x운' J$ItdV}Hk787|w)5K/PrޫUJ5躟^~a  ;Ÿnv>ƆҢfP-)b僔3Q%U/`wzk3:`cAu;`eLm;s~VN7 ӁlQaˮ$SY׷Y2%Ƿ+V|ڟE̻Z$PJݽ) rG8$XަfJ8֎UCD}9ǣ) AW=s[{ ص%n-IϼRF-J{^U_w3%;W[s mΑﺰD8Z9/}oQӱV"8#lpơ;D@XXBN-ne^o8Cҡءgv ڊKYOgP^ a٭V~I(L%>xI15MpzusE}~\qv.BG9r"GR5OlwMEt`9,]brLǠ `rpC#(Dlbd[z\/5ɬo"xDvfH %_cĦJ;8% *nuc ";o5]hew23ʥ-zk՝ 횕ҳeb "z 4Ay`f{.5'Y1FgCYMC)k)v#e q`dvصh~Sn@๬?p=k3ηuL6iף3]mA4W9a l{ ȑv7zz.ZF^}tCi(ak&B0}NQPsoQӁǵ(~RV&ޛb"GN'ɲiաq;.oxkb5PsZ׎-h]WH| K1"*Vb–';Z1$}::ݡ؈f2Yyhl[f|MVk!