SQLite format 3@ .;  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  r!T  ]/ List-Index:threads=4elapsed=2.428cpu=7.192gc=0.180factor=2.967zXZִF! q]ŗXiɟH)0%om^~ 5'~ {̀hF{yD.⹕T6,(*7|Y1#c'Ү&,JdQc %Gj߉ ;) Nөe-h!Ѷ7L7 .I%4FrQf[N5쩯KܷO׏1\BbAƳ1YIgXHvg'u f^ϣ֣8;J:]#HA|r6dR8n/\%[.ܣ<~ŎϹ"}?VW_Y4v>,Q~.&/ɲhY0;Se'g?PKX(5њaw ٨,+?gSq5(G5hd{0ӍHÌfwd *TosOI*0U1Ǜ"CJi6%W[>C< xʟJgawTd"6LqGs^x&  ! List-Index  s:Lyv<.I䊛,ڦAo(ZIBϫ} 3+\iJ b`ީiD1pAgU0=GE.=@2Blwu kbDezoctS,m֣B&&N C7LYKbjНRk y`QUTg]9 "&d/IlPD椃ߵF gGЀx_-!l/3 _E7O`L'I#Vpdcٸ[56%l!xT:FEG!0 k] !3Zk7*#YV*ҜP>w:vWh֗A>83˧:ybJ=`#咿K{]AV!aF€/MUahA_nHy+bs~{ aG#n%v/zg=oGFO>^٧n-Nό6B섋)\׀׿)6"H*Dp-BD{& EYz1&)%o;r\_-ۜdbK1ɮ:C*[0yalߦ΄~L-W򗡎E%a;|[u,pM֫{Np8āo}Z~M~) j5%iNlA]q[#<Ά.( %:9Д5 8GBiUqxQfI2h{KC(}:􍳒?q[BT151mlGӗ9]j<L%ntmdH&A+sG=mG, {,geZx~}D9%#^ jrX1DG庨R e{R" 3nSQ,%hӏҫ<°HY+VM};F1ȾL3GCV-Qઢ~9Z;Ϣ(:wmgSmR #s 1"_xi-q+:1k䵐xߑ:PE+QFM`ɒP7KH$$Yp:w`VB`Q\֘jlf I1g'17jk"xX^cM^f{;+:jmgr}=:ݻ4:[L0WU ˠ3_E'r'G-=е4oqȸCbZ""] &VsrؼϓuCgqQ y-8UU(X}cbKLፉmp:p'8&ak-`x>e.z(Srw#,B~Y_p@V;D }}gOsDž?_9!i%Ue!+%\BgYZ7zXZִF! IC]ŗXiɟFTp>>cP$qXLE۹˚(!E#san-1_J>\}YZ7zXZִF! h]ŗXi%L!l04vaZq}" 1.J`{ ip)^*:SQ~?|8vT苉NyrZE{:yZ%Z.}j[%؁-43ot/"_?gӃ;uSA Rw4,:rgpEA١dfwÏY_'Wd!xKz沑o}aU^ Xq#DkYi `7b0U^*J ZZ%r8!8X;IHwa/oؽZ\J.LэߺJZu8G4^ܭeWa[phyQ}x_ɰĘBRdz=-~zD%%bOmJ4|u!U,IKЫ6wʊRW9jF4<btVɵ'}Qʮf\ٮ_v#.똝'+9U*>4z T'2NPf *z9yMlعRE, L|g K]~Ra/^Zұ_` ,$$nޡG(wC>uχRq2b0g >K:Mre!DYЄ~Ò+}?Q]-)^@]'qա^+<R+<Ϟa<ٶIgYZ51c9753060f9122cf0c9cb9e5342efa80f30a94a8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61