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 u3 $ ]/ Complete_Non_Orders:threads=4elapsed=11.862cpu=18.828gc=0.672factor=1.597zXZִF! ]ŗXf[&L,t;@iu_hy2]vmT#(:zs7,35 69l;{dI0TCe)UHL`~`@̌AYT3bFPP&Pv66@KX<3N&Z\2oV3`i!;tө+9E;RU@"FYȥP_AOZL]ȤB |tx"X \/9ADJie_-Oͨ3 E-]_4`:VH{~\Y$_a&5D:sݞy,9T/k @{f@&x3(!ҷ3ݘ=ܜX5q%vTtk=eV+o.q !&;ӓtj<'gn8ù A¸VR 2"㷴ـE}$cs$mADj]0@u_3جJjUF=?g`Rː1.5+MrמK[&M[1ܭ0Z6iw7I߷"vwrDfH c_ MR+2u֟J!y;=VUru CXQLkci4b{*-z20ůvy-Ό)цuXe@x[ Y.W8" ͞9J:GYjQ15¶_G#4.L}衕$ޔ>6/dBxjT}$eMFc7 Ѱ doWDFVdaK^w0÷_#Vg&oŃJ/ڂ O5z㞚W25˴n" <(^d9I4RAz-otVcYf6Z՟cSm]xԎ{ҌMm~ K)=g$YE7Ny`ƦIS!|]e,ϐ~ @[ q kVZ<xR. 1Z=}#>V~l0Wl~յܩ[iRh 럤beݣʮc)G??jD;ziR/lR^3#e'¥jwP F|~gl1j㪞/.u2+dQ3+_P*LD|ͱn$YENMţ&x Lb -3lq'yIBeB hkg80Ƣh9|Π mX B痬AT8 60cmzGk܅3yYyZ0@3!Z[pݸʐp#L ,klm]^G_ OܳxZݟ1U$*"-aF$iU#_1ﻡ~ɨ#L:20̄x~f2 y#pogZkQUw&b#P3{ǚy#!sF#ߝU|eo 4։(*ۢ]Km+a ϮnũWF/sQb)s+ʙ^,#.V)a'7AlRclI5jggr:Gb&"MpJ~K