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-'t\, ] UpDown_Scheme:threads=4elapsed=28.265cpu=108.176gc=2.764factor=3.837zXZִF! E+3]ŗXf1-q恉<]d %S TzA=0 e"P2ƘRXDt/L@h %NJY68J;ͼjqMt>2g~2)PښDq(j ڣS&)A9 h]c䚛iLKw(YA Yq(.B|1Ml'Ap'7gE [v'%"yߎ=o,>[UR؊mʐE6 ՘@%V@sٍ=4$G*/a> $]UV4[Hl }I?v ɬc B7-ej\M12aD% +0Dd:cGҧu ).?]\KNV+)M FP8F?D-}w̌,1~oUu@ ؋8c~Kp=!FE[ ML-CLp2bS 1 hYX`ѷ_*[ _ oq8Eg:.r*g1-U~ީqQ}ρ#20XpDk1!g@겲԰:D-wc,^\=3ܒ%Af/*nj'ך΂h`*MMRK|uK)f"6z*o7e?BB 14Ѝ"}:yn? z zΝPCp̖80|6a#LuExwBeW(2i2NH耩:NZࠧB=^Ӛx&ُIѯ{_i Hő<焉?~$>o]Eu%ei }?|.^`z^=y]x`H$1!.}9e}Z%K>>=ce+9dͽSFH4OcE El' BAŀ2*VВt @@xOqdݕv 0!'ok"띖+%%:@%-clHߎ$Xa0U aq3Ȓii0ۙ􆩑%x(ơIBѭyw+?g%RYeՏ42̰qr?ÔS!('P>zԳvf+ )JWVwSi7|zw [V9 5MQNjGDfo~,=wDKd>dҙGlRAC $@י_nDŽtɄ sp1ԏ}%cK>ky=phl"sNuv Ӡhd^>ү_F ,5 v$DB(l=: $ f_lAZb8}aW}`Q?[̶R`>$tzdBwngYZ7zXZִF! K&]ŗXiɟ1˦rnzx <@0+gMLJs NX =}OPB$C+arwA4rUwnKp0KWh )0KÃ˸,Eˌa|Ovovm6 B,i4mGE6_Zݰx6sKGfLČ\΅%:PX ^"J,"e6Bͭ<T-ީw5g6ٜ >fvɴ1p՛^5坢v1LցDf^PF_)T"ޤLexV^ X5ÅnvXXU߽_FT1LJ!FFķ">U|`DNSbl\-Uo}3n4CŬf>}5PBG u=\FB-8:}9& .!gl"(ع (V>tc!5qu519)u~*!eG3mʱf 6jgy4*ՉT=ȃ.,Qه4t RU#mwNk"4Z0:HNL;)x1!NB&Cׂu7jc'PGv *hjy2͐vti6CA{߳Yj7o)M²< M|rw Ik=!@N _8O#.}ED Ws )aSFZ @O A(85p?7E8X:ϧdqqsg4-8EN/OP\{ 'D9xr? X)My 4Uy?.aQL%%_2=T=a/a;OD.!ո!t܃R0},Tؽkz@f=P(* n*",I2iX`Mr598d掩!'ӦE$:}~&?/"{6*  Ly~)fZ^;9$SsڼLJ" lU?bWLWJxunmeگjyoBc[6{()F&ë:KK4+ױOcK0.E.@e#."ΧT0k/˹YE" mfYpCؒˆJAj;{DEthGmdG _<ƥU`τrUݟv)7@ +$} wڈkJ=1 V#!` ?Hw낆}֔wLʭn%)2Hk:]U_-H:$  _~h }}O)t+G7_U̜u:7WSE4ճgV%&oOci >P߸:džb5h8`c`~K?) eR.(.F a{AҮݞfeprOF?CFYؘ}ho\ܧUSrfS2j@T-=8qU--}:OD1Z0:L #"ֆ]DjԪ|+Ã7kz3|^JLd#Z era/,zV]nYH1#X*]>\\7@ӯjE|9B-Ly}m:#;ˉR;y &$[P#j##D\.4V}:oovJg)h !~PL gſž-OWx-f#.eiP!fU3ߖiZ D9ؤ,䍅;t8v$ LZ!}cPTK`_䀰'p'bq_R= d5M2F͸M]>7oLIY c \ɺrJcM|s`Jč8Lf[4&J0WydI] lYJ귘KTϖOr8ۭL;D^W _$gFCGZF`(s^0EF:qlE}DhTM/^v 4.Ӻr)/ dI?uͻI$Jk/jo$l}@&z4Ѫbeg(OAbJ>r oz߲9$_inIV:o vۗa. &[l$+KcP^/V9~LP\Vr=PV`eXecK4".|Wgx&-֡06j5UۀzHֿ&L׃gYZda3c07d01499a870dbe68a1f80911a3122d4d94313f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 9cf3daf8eb9e55c0bdaf09aad5a6bd05c171e50c