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 ' $d ]% Tree-Automata:threads=8elapsed=24.593cpu=60.367gc=3.085factor=2.457zXZִF! <;]ŗXf[&rԿcވ/T[ -̈pμm\'';;_;zRA)i!{fD7{35:0Is}(9C󰲛!~V 67h2EUIX[lP߮%#?-@Nհxܵ, m3^2wy$Ơ^54yx+LXAϤs@GH/d:b|SxRb/g>Pȋbm%(`OZg5Uz`fF8oz\@|ĖX ]$$.B{<ܤ4TgYZ7zXZִF! ]ŗXiɟlAC?H 7Nz $̊e~si*=i2[o#\E'D~r -)ea> J-oS.θ(lUBm913. ާOFfX 'oA;uda"Χr4!'zToعMd 14Jd^oc:)\xF#)ɵ%gYZ7zXZִF! y]ŗXi%>t{2O6S@ChMP2:YIfd&>ld\lVH K`5r+_,@Xm=69v l#JReJ( *9jF]k.#YƞT>\olmA^oZ#ou #3O>^CEMžE>10=CU´Uěa8 ''@Q%t OewR& |>\孄÷{ƃҥcR{Wss&t`RC". FM Rs(DcL ؒH'?' 1 hl&rPyZ. Y_Weg^'̔9K7Nn=8)400ݸ &!W5`9.mds>bTb,7@_m'#g%$ӒfUN,D`3ɔ5EUP$s֐> W,zR/BN{,I#o+E!(˝ft| X '#Yͭ\є.U-73#)-L鑔* fa_+,[+Db p1~ @uaEbE[  Dr,>lvSE._*bM݌u߮,>H_0T;).BDO) n?N=fQYD( bFbSvFH>j Dl'7'UQ|"J q)!ިu6N~C#MkGJ}hkGBQ_ul!:Lvo( /ɩ{5JP޼HCED^zdxx<Ďd6 dB϶#d%Ry5ۅ!ʩ-F¿ZQ/}=*@ TQ=Jf r;l}H #2hkȡA_ (VD}iNuCY~W i-b܈Ņ$OmN8A؅?Rr= K0A G[(/L1I/?8ؾrֳ'@a , "$S3Lw.8\%%Y%G4pu@HT ؄3NL+apyi4K~-v bѺDcyԢ(x]"ȗj]W)OֆHMږfTq0u].#S@ӰY e&79A{Ii?S׶}