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 y/ dD ]S Monomorphic_Monad:threads=8elapsed=25.713cpu=48.559gc=3.337factor=1.897zXZִF! i]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*ozk= ΖNQ<]'dRsisg? !m+flTTMȉ+펍P3/5S=g4 n0pN5)7L|OO0v۠¥1~)H~i|'bV<ּE77zi) bCjNLA*#f.Hd-<>j$e*`dJ7g!x0XʣWeu!TB+֥"Aj;C@5䱼A}k/ab3ե{qiݪqIwkBp8yr} d?Z1 |Nfd9 IY(~ܟf)*gۊm6*u!444V d%׊_pͪPS鋤Z_U+!R7MG8S,=(*龚%. *MUIc 38E[.6B9fpv/@QNgYZ7zXZִF! ]ŗXi%>t{)7%Q4W!;I= J*hLՍx'hbj/uH Dam3*7*.rXGz }3$(J`";\LAgmwBFV)EvPTo5vr3{u#{Aӝ,9E^Ia?3u[w;ZM=Ή}]%}7 Cp3U3 MGgaZY^/H}`ur ?4(AH0FֽFDy5Y{_lz@D|Ѐ]a! b<$l)"DJ[uF.V5rX^SoOmm6'jz G{(~5*3U۱]<`zQ.20' MO&X0Xr|e FL:XL}N & > *L]+Xe?TP _H/!yQ'هTqF `k:hΞ\˸ Y žcq·u|%]PR&ehA>} ^3Ċ@ҿO{LITrSwU:t 8D3ru)'R[q7ҝJ<~K,M jqeq?h%#9#Љ/ۑR86&03YI޷t !p"KGBЬCfc:P-LYzDrVśV-:.='k ܪL1RZYZ"PC5F_CZ>׌@( \!Ձ?C.g)s% 3Tbi7]yo 'ւ6H 1%ͫ~='?phN `b&$Z_%RJtҬDŌ 6tweU%Y1f n댤k3+䩯Ge$sgpǴ:l;n(V@]\a'8`f߱em{L㵮Gc 󷨜SeYi/Ep=U4Nct)!Ż|l_us"v3L@k0@1JoI1(]]COЯ7{QULVuݣJ=)*|r|Yk9Q{{K3LY ê{X 8V̘(GLߟ+ 7"Uɒzפ`J ҅Am"5]]3cv^>6B'lnvο STҞjn]D<k+M0a6~.c^)s90E}`QJxjG2ϵVj&0> p yג vTramNDf3 xo%7^y`ҹI^5B";n(d`@Em!s."jd愍 ;#2J+hZ4pSpRY$mv%3;Ƴ*$gYZ73e216806b9b1f49fe0c94b5bbbe3d9f05fada4fc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 5f5d9af270ebe02ef506a6072735bafbbf70c6b7 b2428d9a839bce8c458a1e5816ad0517d827ca5d / Monomorphic_Monad