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 'L\ ] UpDown_Scheme:threads=4elapsed=29.079cpu=109.720gc=3.168factor=3.777zXZִF! E^]ŗXf1-q恉<]d %S TzA=0 e"췁&ߎqҝ:וV@hˣ;P[7QGWBK:ϩέQݧ ǷbXu˴_z vm Դ?^lZQ k aJ*5H4'J-!r֥k[&GT*ֽvki_E]HzAp@ a!z+8R^>jbghMy0)!+x?R;Ͻ蠋YvjgS.pB8h,`KwkL2W#.VSWLrF)1t̘[BUݥ5)2R9!~!U__2U-taSlt+|j+5qȉ#OJmk~0@)a~`C5dTX:u#v).[qKG:ܮ FՇCe832Kn7$cPL07)LŊm<(HZ`:yyMxLXtܲZuG?. 3 3t=JMXgudUd5.c҈"7>`9h5qtёq']- :&Cf@SUfN2*7:qRH-Anj[<;fxPW O^:x1mJZ5tmf=yhAجjˆRC0Iv9_FRy$RQl\!aVؖj2:`k-Ϥ "E|OGxk%P.W~#ƒ8Nݲ q?Web)/n&B[-naRNx@~ ÚPcN{h~;a[hZ&8#;*?~4 R!l:-DZ+{R1P}5'*YwxY|)P- &xyXX,`ncݍx۶/Q!84; w碽$V$jz5'uA_KcQ,`C{8z5dg=_AF@ EKߟgТsJY@ƶ,ޡuME/we +7/%d2W)3^M}} 2iBظɬَ;ǙʼngFXI<#S%I73=]o/iu66`b*% ą+_F{AcW4D1TF:ֿkHɏtg$p\MmSC$Q˕S'uV{?1*m8P{M*YpuQtYR7 Bd21:OGxF>K8&Hʨx`Ă8s+bKeh)c8 G)S8ҹOˌ--*'C{>w(UepBB3Y;q9=Ro Fz'>>K|{$yHt}@NƗ2E}wծ4L̎Iv .{+%fa^oGF>АK%=bLwQВ"9͘gg6ֵT$((Y'ƚՙ+cEucVw‹,em*Wt5҉Yi̖T&ӧ!G*P΄ΫH|jqUx-JoB|ԭho&. $@drOqDl忨s?=/; "S; aZKȜuTuw^.f~vRf<6{B>#t+\7?f4|_tpGEXYΞ!_MQI^ 1\VX%\~"XMm̱;+6hok@`Q+<\XOK;a`͛ d14m4"<f@R&bm%&^Iz>`'2 {SGp blx룐Xv8yxG>x7g,2jql[wJsN*;6a0)KZ!&(n.WFfbG!}J}/}f,|՗6|:>6ȼs5yd#E?!{xI2%bq;sW&%0U?tK^]014|`nIBϥZ,@NH]p_&3@73& xvӽbR^ q͛^26R$x+lΝcG l,K1OIWvK@&wVrpɴvu9^ﰛq]_+f@Qq#D#+BSYrgCgjf psXD(Ę9HlW( y4EpSʒsCr6vL\嵪LDyE_ǐ㕾%ep+{ici&pzP[Hسs_ "~`BpthTm*=SRwqlq^&I{'EZۂɠ7e :Z}ĪO9NRY-CJka3ѴGť]iсRɑf%$%6gpEȣ0.Id]^8Ra\.ӇJL ?b=ou:he426]kU  m (ľ)G4BHgs <b3Y`/]fNXQ飇p<1 h#)Gs! -q&v #9Afs"n@ʂ4׏p?%Vk~ ҎMH9yF>&cV΁mk Ɇˁ̱_l,r6Y/= +W=Ž&X`[㰊; 39o$NnazGr?!Eͬ3)sb ܝ#0 3f4Z wgYZdabbacea911982e3febd7981b1226e7071ca0a70ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424db