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  h|D ]/ SIFPL:threads=4elapsed=34.613cpu=103.792gc=3.392factor=3.007zXZִF! *A]ŗXf[&N} wI>>n.|VLڿu@jq\\Z~$m3xn_GV4u->qXdž(ޟn6k"2oj\o}0 Ao*jN  &$06o!=m3;A8$ `Bmb[Qw̜EIrb;\BLB5((;y2"ʮYR[:ՏR )v'%L[Κ塆 'ic@q^(y<[(юxKㆧ. ,Oiˣ~~PY:U{D[K}Ux#\hkl,Iz9GAkyt `rd"%-|xם6SiT_Ƈ!m~o".o<0}i.?YXRYVݻk![M1 .M(@ޏ;GH]Q&JF!UĿ U䀺z+;-^Mݲ͑(Mzhi4qj#*Z/+ \ 1%BugzI.,g  SIFPL  U\¥ IE].5|п5 2_513-Js[ۆ,֑Bu 5M4=I_$m&Knp^Q4 Kb_>]*(s\ CKcXQ#!䖛*PQ0z&t&kUdj?=a6k$_ɡz|{8-ֲ$`9@%WHkBfta4U׆:qgDkV . $y"Z6Y+GPXU!n<ULJ|Fz6#r:-W48#é/J:.]_8 e/Dݺ4G xi `S#.__!VTd+Pž>LB CE^g]-԰i>XQ?SWZDtÐlqYn5$!PO[0T$Z&NJ!݉:U2IB I-T1h`qgYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MNAL;GZՙ9*|4@Y—Xh%mekjjF<< ~{ jX@&OkC`=-B81F0M}KoT sX44J>}5˷tR}QEdʉ1pY+ 1et)TM?k&TTڞ GܝsV֞d;dj t|+FRimG.Po pZZp R~nj#q55$kJpԺ;C$ `cOdWmG=Ĝ9x+x_6sդ(IisDE-FDp )??5z+'j;7qHs(~#{ ,b 5⌔P#p$K2ojh=]:r\p|DNI} ۹6lOJDO|K.TVj¡ a-6P*kv4YhKO[w'RpU[).F_gLg?DK*\θ[,F#vn(NfnYNv. ܭ Wc"}e V'dtLQKpˊ2Vƃ. mE1@s&UAPmI}꽤^Y uE#2Q#Ȅ| tw\'hSIΚ>4l ftAsNJ`q7fiֆhTTQSYt}79J~Pxld3-0=xsAfwveƪ{"rgSEI 3LT2 CPIT?>~핼GTy>w9>tgLY_%GPJlKR)D.tАena *J#z# NѺyŀ6m#qLhSe~Xܭ !N_ :?1x'=v[6om-aĂ.у:Zսt6y) XU4jbcԣcMx=@[ ojLYzpOÂ`~6ث{f?XQ&^E/@?1Z6xƿXzvjSwМ"C ՕH 9=;A2Cѣuf%GAJ҈-d࠺yVۭ6u-MSo^bCR j^0-k@kVQ)1UxCr9HǂQ(},YJ#|аMAY$g@i!_lK޷h,򊠭VSX J?9h mh~#)F喦F2J\/ʨR)ܿ@ͽ"Ct+$JH>mzrB w"ݜD}-i(KLWꊓay:zMP@v3W=c?k