SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 $! , ]/ NormByEval:threads=4elapsed=22.826cpu=57.136gc=1.552factor=2.507zXZִF! "z]ŗXf[&zv׷K3?Oձ2?aE4V"1܈θCˢiKFTa⦎"96TC<؊ߺjqMAk#ͺLS..8ڇ.e O0w̾$nFP_w ?_ AXN"R6"H8<Ό+q$9O5Z>tʪ0Q>`@)F,㱅+ANCK7't@]_H4x n`ޒ *ɼ].Dq@Wg{`Ft:YѢg~~ Og:g6QP h񌙞oEIb݂(Qoøw @{PO,je2Hz=rnu'@J= _'}az>Jj%Ees{_V1«tgFHAX=춵5rm4ط(|DZ/խcodx|`[m5[v4v vIq2"MӆKy1|a6&Pې!Ôyp^(C1un)R|vȼrCf;g/>ۛ?SGqy˖)hB޹j<kک?hW+[@8:;Y(WNǾu_oɛX/Ī`K>>_4ק~{;/< a;K`t\[>*[';Fq*za9o}hoBBD鋃ڞYww-AdE\ e-yϖk lک+ N˴d|n5kE C f$1+;o_4hlMEORPhUA=ws6]9uѤ#f@D^gYZ7zXZִF! D::name=NormByEval.NBEelapsed=12.622cpu=31.868gc=1.2601Ȋ]E-#%)}YZ7zXZִF! \}]ŗXi%@b^~Z1Ʀpy)BӢ'b0+QZ=z0#{u] A+L?F<#0 _EJ/Ny}jTo7E5ӁVNG]FzHm2W ,yVɞ7ӓRҗ nzbܓ;U:H udb3;,9ظ4C%S ŅrwTP=+Lq1e%k Ȉc RH+.+E$I Mlg/ Y#1 ^Y/1K<%,^ "RZkfϥ ٱ Lk3>,3X挐V̄(/S_G<'Oh-7WD%5Y9K$Z_r}u_pUݹ7SSJoSXdHe[DD{i'x1%Ѿt0;| 0/8[TYI+ l/SCҦd`D=Qj/6.[݇c$/hi1ҹH|Sq|꣧;RpM~n/oSB#Oɔ$q%gյsb*ېņwE !` dG& doQ7IcK(|no׿^+)30Z](O{6vsI@V]KJʑ%(E.tIF[}"8_>ŁNQ6ngB"dp0} K' k2OhwԡJމ,]>k gіH1b(T{BCߒo 276+YaM bytfx־:|."O){_/ѶR pSex~+-e qܥ48ՊfHyO~uqLyw[ߡ3Zß0ʼnVj ł(8El$l%!Q\҆ 09yx*Uv\s望wb%.tOп`t7Kh>eq^< [pd+?p95*yuEhfvnm '[aW* bt>W[oNc|ZjuDkhǨڨkeL"!v!@T 4w#ް. S#v OT;Puk]z MpY s ]Šr\"?-qM1ny%6][cd`HOA +;ҋYB.t;IϚRE`o,?P,)7^EuQl%=AiV*,pLnh Epc3R0pRCpGyD_cQk&[.c}YH-lEe 5B8b[M bC7e`3cgPuN(??D!c_ OWq+Юz7ᒜUiywBBH IKB 1p &8"W:"3~4= B2 ԶWYX&t.4hX)N(om>7 ?ry))_P-gZyJL_0.״ڹ26V\Y9txk2un5Z"`h seY5n4 ]@,r䋵k^SZSMLjrgmz25]AKq_.f&#>-!_I݄X{gYZ94926c5249cb9d2649c4c22c0cafc41feaf921c931f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5  ! NormByEval