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,d ] Euler_MacLaurin:threads=4elapsed=16.264cpu=60.004gc=1.664factor=3.697zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z2q8 T Ђ"JYII_]m`}S %TՂGVI7OF5 9R5"&֚$&zɿ%ĭ-'Fj?SlbGxpsQ ~rpdfj{w,.Vԉ~wqO"=ݢTRIt <Ϝp#]UJCf52i._bg2 r~B iMO{mʐ Peu9-\"BܴAgH= }q%m@%_AG-q]엔X&Ll.v6DcJr  PK`88&418N>Ha8u?)&LZb01:#(t{ay8y XK^x2n0ޣic$z,53 &DZ#EQĊ$r^:<\M_ fceȯdK2 3zpf1<ٚ Oћד IOzDFϲ=O1uL>Y7[Bl"F낅pPpq@s@m? qX}`ch+0Onro57JSiA\ι(GW؄Ո#H!Y wo%B;KE֍>hh3o`V'|L(5?0 KP!꯿BJ|%+N5,奿WbiB D#:F_ǨMT,L{BMwVh`hʓ- :]{Z+>=uT ',LZ#pS"@+=|}Gѽn)\"zO1Pޔs4s=e|V]68 \pZ ylnAĺ>gYZ7zXZִF! M]ŗXiɟ1˦r!q=4!pƹ $7#\Z}q(Qv p㑠SEZM8, WBG A(-ƙo?2DGnva_oGg"%)-ljMs)'}=)ϲy-񓐂30Z9mq !T_Ad3HhZ^QL3ictY1&FCzLef]uWBlvr6Nm+E> ռZ!E@YK0 \L^1!և󾤫xON^Ce(K =Ts fgYZ7zXZִF! pF]ŗXi%B8_tnje+\Xtg M Ϫ;ǭZ . ;{*cb^na`0\(!ad8!M U2y13=4p8ToԕҴi,{GCB^t;Wm1D(u@ac\,jimUaX;>`[@wJ ˧?/S+_ďNऱH`Nf/jՒ34boR|5H_.\Hq`'QkrHQ|AL(tZA/ VÆFAͅ+ĖEaf#B&M$co+fn[eV ev&7Thb{C-x=(_Čj KFRVr'fD-L u"O)qm9Cիˁ3!T:&97P:X n/"}jnZΒ$dHɬx}7^M@rd* :9 l]e@lnOƜA:$UwDԼObc1K5vżWY7]PwGR[isHm" 5s}qvyR"/0-UlZ}@B4oo)('6YW^%L'PCٓj9Y~#6wƷі` lf2I3пZ,1Q"{œk3oz!`mD=̮s# ScNuZHe멾uҰ+I+b9-@<NiPGBUvBƧO&46^=-\Z&,_S8`j+pVjFE(ҷRqßT覥DҤdp1h3S3Y(u^ҙɐF+"*f`DJn^т2GDK!͐ D(Xpy0!a?R#R@ 82*pb56i)$oϴlmU C<'2z<  QH-3}K!M $N6ߑɸC 8Ѡ0;ji&]5QKI0 #*P,9=|rxZ0b&gY"yV{-0 qW9YSwIkVJ= >C f >a#WoUI+fv`f)0_B1*nxgH]#îY K}̗US8&e psSܦHRGQn *V);^bAtbr55deGOz8ȣGQ6Ov3$A `T}zD6Ot%mqlg! >ԣ]|l<"iX@Tip