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 / |,T ]S Monomorphic_Monad:threads=4elapsed=34.156cpu=60.560gc=2.544factor=1.777zXZִF! v]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*`B_LSj1Lv]rЭsDF VV &C"Dk +jF<.9I~JmxrrP̖ws T\JRbop\k$T5cgVi+QCC Vx+WQГi==㪾Um}j)=WLKV`+1 6$''0et 1i{[g'>h=^&EZCO34ObBu30AbB@~DwFRtb҈) / Monomorphic_Monad  <2jºyOo-/5oJq fݟ&Z Gt;GyOldU02lTF]jr$)+O9L|!?@5;PtCpxK_[|U%Lj{s QcqBI3S)py01ⲣ)e/L[5e -{y#Lʳa^+xb&qt҃sAq -5% kd-FK!gO`aȜ~O%P9YgYZ7zXZִF! ]ŗXiɟ1˦r+odo)4ڮ@Ffvٍ oVj^#|ʄ > 9()Y>&'ԑG9kٮ<7`s txn#\RE‹gܗJEܴKH%?R e٥ F >N:EC iI=nG(J5]b#VNCd.7gYZ7zXZִF! E c]ŗXi%ES3lz1t(29/bgdRVs*˵gu¡;<7~k5hi@p @-EoNS=IwdzAv%eadAE"R߻y:d Ĕ-P'{"x m#-9n/!QKTlKض@?9Ζ?Bay}t;̆WK)1N)$n܅9^tMH@V;SŽ-m}+rzĚiH% nT7=oUFs6`y`-,m\˜<9O'ˏA)b3IJ oJІ`'&1aCf*;yiSs(`޳j/̳8F4 !=3;~Xꐜ`GZF OLtoe[V/}\?^jF#DT9)beW2|v&Lq"_G;8Xyh-ϟ5Rk淌&9EHbe'EПdqk/`脞G \mA/z;jc&+Yza/HUpMH:-dΥL0W)/ Y ,ʟUf)eIl?0@u!݈ o1yXyM+()Xٻhf]Yky/GdKGD_7ӡS>_u b2ReKomge<:e=6ź]ZpG˩;#ܟxGC}6_j,|OB?'p ֤"=^ 4ݼBR(.HI= 򒭺<cװkQ$Wu yN ❟8*Y^nScMK@Hmb848Ԝcym% [ : "ɕ ]U-)Q?plq9$cʏ+`#{#Faj ^9CZG[$de y*K{Rv3@p@} ׹uT i7ByT;|G~@K=l0L ;[M(.{l|ăy l!z1 2 EyCB4˴=Kʡ$#)I bXco4, 50CӃ ieM[eDÊox 's!BGÜti]q B+kĕckeS@yp0ml)[Tua]P5a@mh.<(¶W1뤷 o϶3=M!D^S!q?˙K?deV3l&caGAe7G*2K%O &V ȝKvwrCSy#X>uVi>ůզx'0wpgY|G |["JNMZzvaaMâ=-;0SP.,TG°fÃ)#^;9I\g d5G ;^ňوXݕCK8D.'B3"N rGz>$I]u7GJ[j*[-įۜuݐ RbbM[B43  ݯy2xۜ B <¡*BZ]Hu4.K K {\4:.悘.%oNx_ֲ6vFJnh|-,ay߰lݏV\ b6gri iBp!?{>e-r.4 0^=u&yyJ.ptR" !o/ R1h[Ry俩y9IM]$4v f^ + 5Dx5oWh}eh>(.r8HƸPw{gYZ515163bc194d110db7b044f4a1bd07586ea0010676b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 6d2ca289f8b6f3f2a3914773c718d36e0da9569a 11b16b72fa7209eadac73a23c648ea733a439b74