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  $ $Q! \t| ] Splay_Tree:threads=4elapsed=51.658cpu=94.896gc=1.084factor=1.847zXZִF! |']ŗXf[&R=P"ՙxzВ/se싡Rc1IөԹr$LcW"pQ~@3ގ*G1P\K'x%ܷ9}N'-&>g)B\UC.sQ/;Yaѱd;5niJ( j+̜3I@[oPf+0 C z\o!Vϸv/d[3qM{Բ YFP\c@ mAuCʀ )݅L HzyUY Pz)waJ*r-iaٌQԶ@ 쮣|jP(\:nPi-~#PI* : \$ba:8Mn^{e˖}ezh'g "F)XGVEo@V2(iR5ka}y).xR Ϊ֓ WtVӌ-+^:;f^㴗1v~T p*'aΤwY0U +4劦.?b,D]p_6=D[:0]/tK37ƭ+ T{{wTSٍu0_@KvyЕ8A\z&x@6Y}"j "~~Ȟ\@"/P lvMZΞ W G̝'n Oh8Jһ t:|PO+˳"ewsg8L萗{__oQZG? 5S 6%{gn}k'.%<%-kH6v;)0lv鬁e 4w\(S$\'3 a ]qfM˨Oj٧SSxPoT{rE <5Is`1э3CW ۀ8MuQpbcKmv{IX 4rzga>3o;-^)3yΉoJDžwfkqaޜ(nOgQDCyw,?#_`:?240ko< YBaM26$+>2al˖_j~c߄ 6N-(N5@]QyU-QBjWtIg9I%D -G/>pCy;Xou;xD1} 4 qoq5FFbb8p֭pꪨr0 c~P EEF"<>v!8 -qay>-uQOH^$kr!7|O)DvCߖCZ N[Yӣ(vD{OO&A;C#1 (#S(( 6k 6݊ Xdn';}D#Z\P(zroZÏQw>ȷ kWG9veRf)3ש(OK>1x s<ۮŏ˙%^Z}ȱ=Wk vЉn8ޭ#CR@&[qSMjl`I49ԯECRmU,?oq< FUe0]\ (x.lD]%NE P.ˢ{D~w_{v5t4vx` 려bd6qc۷;E*='fOf Ka6JK}5E\6(yièRb:0ļ$`ImtAaFR~&c_qLbgt .B,~R.F [5BF pZѴ7xG9C;|ZL/N>h> Iz0Stk0.aoSj'JT0{NtaϷ]:MGI(ɬR}t& 48j3-w_.D>׌ryqyDPMTo< \Ġ Mx'"$Pa=A.8%!IEՒ $+Qj|W,-p*7e:RltO"%VN6'-]RCIn:Oj>^JJfܽ"&\SNh)iRaՄXf,0/ 4C˨IB Y$3ͤ> gț~P_v>vpWJ> =4Z1!J "K3fA#Kj췐#]G}—mWTe$o]nh!rhSuEpdJ GB*a?e،R/zMK0hn@|>Ujoos+ΦJ6c>q̥Nx:Uű4 Ե}7QK'ByPQUޖ>8-8ޭ<o1a:H["z--xI0UȬߨejJi;ŴD%3E}(<1GѬij"i`Ye\Zwh6` Hk5P!E7W`4`z}`q >;_V;^j8Ԅ8ı