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 PP%\ ] Corec:threads=4elapsed=85.122cpu=121.028gc=7.052factor=1.427zXZִF! ]ŗXf1-q恈͐7ӺV 1̙ GMji YEh&!9 JlW Cd%,76^3NVZ-h 6w?i5@̒pYM&+" H|Y;.#ȸ y~Zd*[g+~Ff&h|;p}BZmCʷ yM±9^b k/Fæ~ yK08#d$.҆d,P)yڞP?` Pu>i>YTR]À7vRrw\#ⷘǰc١Od%ƼTApn6_y7uׅcN6%$,A`,3Z@FcBH唢u(4C׀)yK?=If0'&Q Xy|(LMv{yP|dOnQTe1L#`%m@m)JXYf>8`*@!q뗕PZj-ݼkrԺ% MLsq-mP!wN.i:d[ǙJƳ ~3a02qNhAPyPY:'PsM"TFiP=>ۥ+q"Np_5q)}E˃%ZbS𰒬gqFkƓ#NnA'P )K,@hol2QWYHb( K-îv;kZGzC`D}}jZ A3x00IC_맅_jXkRZJ Y TF|rD #@LȼĄ Ꮞ r-PW\NR2;YC$/wO+ H4ɵc]"5!B(shu_+l[(psDHQeи )r4/c8>M*jp>['_@6AHUw$J$# D`&QbH3.`HgH ͂㇪ !l HyljXƁm-fU05RjT(Rc /  Corec  [!8=>cg4ZҧndU;z[%ʥHbtb(ȼgC?Z6Y|z"""iO-Z(;&YzQ!~#d^?N;O1)-~7{)&;kZi;۸XqH2U]2U!G!ST q%ㆪ+d&:2# Ƽ병1"ZPNQ2.TuP@3o^!UN%_ n4x_azE$8sՐ2D:Mh劋N$nlF+TXQ:AgV cE;*[= ^(rqf 4zzv2Qj@>4AOcc-Ɇ4GK  1.5;S= 7jWz⧞5/ScH`rP`+vpuქ#5UH^p 77.Ym" Cn 9=@H~ n-2{C|X|O.q/؂PCҬ% |"%̡-$b}cÒ=T?Ou+ȟ 6#5B[B4e;`e!%1ͱ R@<2ڝS^X_6㶙0M:l31Fn a:wP<1kM(>XWjU|jM:D6n;}acǿ8r,zLirC縡t'%N XY7IoY-9&Tp+Q;z zVCjxfkD/p B%KvٮlhT<<_`ND&=ޓ<—#ֹEEooA⩧Ӌb;|'훩me]Mz qf{6<`I2g}9z޶e bQ[N4MQHV~|SemE7F*mt&Uƞ&%K+\Hy:jzPp u.CtCՈW-ku f,^Plꍵ B$jx빩A賛Y7B緀`M%kh7b20Z=quA$)kz1сn Co ̈́2mبE* mW[ vf q:yͶ@(*8;1: 1'\ɕ6a60?@QA\ OAv새&PJ[yY}|P8pr-}?DfKFd~˦S]mS6IVڣص6&҃鍲O3|DUߦwE7v,'J&kueuV&NyAgZ^%IC߯9WNϐۧO/Ey]8Czty/Ҳ>GO-B)J|}r2hsa+%jM!{XP1F|GG  1ݦ9 MW*"ò뼇n^HMJg,8Ըe< Rlɿ.uQs欑Klnd8] q;X:Yd7 ٬ȎZ)Y-u_E\\ \%>V1)[ɖ[r:[ 5bftZp F8냅 W蘽,oB/q/~9ӿ)E;tdT/#Xܯ4X<%<2"I%!)ˇw쐢t~gyU}.=J JtR%z^ּl~o?H@"%{$B/0c&²oRNN?y 112Z'#TcuBVOhԨ jUola*^N/l;&rQ2:պ&{,0Q߯M&]"6㪳׿`|>,2py˥9[4OqFP.̹C'6FoJPhq7X5ɾ|,qRfA͓Ovϼ^dXN)([v-3 DY*~PKW{JbCa]eS0ħJL(1FSu ]Xj6bNr.[( ɧ㺼ˢ- "Nfs E]K[&B/-DQz>~aJs bH f E_4 1O㛷cd&[GՄH ߄څi/H}fWEjnkO,xD\~߷F*wHy9 lWͧ $YnvJ)1tNuǧc&tTpS"g_WJNnYXĈt|o {7t[d>a~Sђ~ Ļ[ fڇ_QOn,U A~g)G跼E2` МA'Аt_M܇?BGJC!܎$͖r|yNe|߽oh7 Zgocf"><᥿"_s-^]ƟR :G[lvGPd | ]` .  7)+$|bծfm2Jލ残