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   t9 ,|$ ]/ Locally-Nameless-Sigma:threads=8elapsed=14.936cpu=82.671gc=3.484factor=5.537zXZִF! &{ ]ŗXf[&!вIkʬ:zSzrƘB:~!o}Jwhvc̀Ma\OTD-C %D&B)Qf10tQy2Kᓗ^=JAl#\&X 5zs >]r:s+EpƷc48b7.M(J|2'OGCsscC`$˙beYgM?dB-૰C_[iiО"KsE KG#˹.> \ShDo=|~4?udh(H:Q:yqnc+.5ői"BjPGщ1󞅷rWVŖEr>_§]%g7H6=# %>ȇ8Ii>T}hI(]G"),v&&P#Ybjp9l Wc MrmZY{Pmܒife:ARD7p]c-j}4J>%wvS1ƫ6-Kasve,;|NE0lAԛz4wi A5fYVXjSoqWhuUUF#%Lq˧6>ݑP|bzYD1O#W#lO" 1:7ۍo[8d>8W$. W`y8.5F6@T!o0x3sd5?`04.fPkJN(lp0eǫX(l۩RS2 pK|wu9:!Vj+*;y p -PAc<֪rtO[wF?gc9x6tNj$t]^ZW&Ѫr4]q0>L>j6⌃rGXg?o]ΊG^lrA,|rՓJo9߸!9 G̺Pk.ԏ g3g[ U?gߠ{n!r+^,t_ЯLxgYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmXKm!d hvb|ifcrK- $sT:6j{ &do_鶹dxf gWHLU,+_)tmHCQ4Dq;E&(QCtdzzҜD-TU}!BٿCbsuYdgcW"Oדa#}`W1agYZ7zXZִF! gJ]ŗXi%>t{Kn]3O (n-279_)S#b)]-z EVBDp+"RdNg~;g.(,T&/mKQ!;*}Ҧv[PAK&@Hk$H'Rh) 쪸Er$?=<+OЅD aew# [zL 'BwA@Jt)NԷ:y>Jcj2skS `mzf><;KëdI@5 ]7ƒb ~q3uFvHO+ɹ ,FQټJ׼kbl`1'HSRr O*m xuozCGNぉDЮPǧ-LG*.[&EaBUt50P)sm0_FqݤKddAYhfL9CRq.XWᛶ ps KHk*rµ:1oZfTɳ~ F;  z,F}iL5Tӟ6|tI5!S27CUBnx(xj, ^B^^ hOm>1ɧd'29d}u-Hg>Ya'Y}>;ta\mE+ 20g*c?{lHI@TE k ^X塲k K28pwwfLU":Pz: 1PG!'hՖD(ROJ|o}YhB\|_,3W̎˒'y+RPm2g#1t^d_=6A4hb|'qk5C X79^x4MBo^wmoq[41g?$dg!)S& h%?(^c/[paēo*$ԲE?pE~BR.ת^q!GmpVPD߀Q7q̛}wudlH!~otO}ֶ{,~q_Wr7<H27?bKqE6i'Iީۖo?oa$}Id4qEіK a8mx|Yϟw#'7q7EfѼ.E ڒX{qUyHmDyM9r"yFW]