SQLite format 3@ .;  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 dd 44 ]/]UPF:threads=4elapsed=24.517cpu=72.256gc=2.776factor=2.957zXZִF! R]ŗXf[&:sFqX`xPׇ!9Un06N@M6\ggjJ3BTA 8< ic VޤB*K˥ϵԂeIxedP7'gs#>ݖ6Y T5NRƁc`YR%EQwctw[!x̲y! `,.V0b.z9lWér{I10c= ,vtLe9o> ;UR&ҳJMrAto0Nn%1d>rӜ& HR(P< 8w LUAvKFU-h03xP^ ;VIBj*t>l (65T̻>]a٥WDƒhvW0حOTIA%Le>ë`N0,H+H yjҩyt%u ~b$t4ȄO #Z'4Rߑk̩g0Eޓ/īgkC%U- I|BBJmSi ӝ5FKm[G flFM%W4>yH}/M7oC m}ןWq$̱}0 dfEs/6o,":P6ۣ+#7/?TQ#+U S< &6 <2j@JNN(3`ZcuSE6=]?J [SE5 bko0tz*ìGyJ%B t3ŖΩw=_TjZ}@؋2魲?9[ggYZ7zXZִF! ]ŗXiɟܤ#k0{/!xv%o&aIR~)3<[cpb:@O{~0λau~zA.hF,& tC& Оvo" |&~Ly|gAݭR%8=Nd#g}U$ SU.WjĆ ym=.Co&pW6חw+g0i4K3YMfq-6 ^{8Gb]'=WsgYZ7zXZִF!  |]ŗXi%L 0,Z0QRyFxb3~a.!nW *z=@<q bJo%&0Zgh5Pi5'Ÿ1yOr_t9!!%+܉{,H$&6bFLD]V3IK(6o eJc~\L%$WðZ݉.hw41Ĩto \Y*tG Z? bهTwBH @%"S;:7, ޑ5K 6КBg0F&ĭ-תIr͘J{:l•k@ (=jU!yGD\+Q*aHr%1TFvL2Hi݅YT_p̷Ѫt6/ #w4[R-eBsdk׮bLee'Qg*4Ηn\VIz'<en1m~Y.zz;x̥)23tGQnɱ,>ZE2OjšwL:Ͽh\R~iܪp?&4eep5. 5<%cɠ2j@" "_`*Lt673|2xAg7Tm}SA& Bg>듞BZUKKád9t-|RLGJ2S~ׇ04b "N,UֱI~?D%N PaDtqDk9,URO` MtK,V)w#a]lL=ケ)#(YQoƩTSzs w)%Ǽc3QS'ΘcAftaHΠ RZw B}PQb޴S. vGr£`@ypT#Mxe饡GOYsmN-1bsδlޛ]g!uHҟVxI9yhdj?̞8 i)& ﰄ>d0E:Y+GQ Okzwڣ1qrFG^GV@%iyQr%7+a>9&:AV/c9 +ǹ3pө,e;c$