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 n  | ]/]HOL-Word:threads=6elapsed=10.414cpu=51.368gc=2.412factor=4.937zXZִF! ;]ŗXf1-q恈eO/O4Eh?>R[G;y8PhEm۞2|n婱ͧ#eg6QjQ^IDx;|^tO7zO1pn;K uXAƑ bF*˯S?_)`kғe ۛZAqj99M26O矺}6t6|jm˺v 2*:~ʻ{QPF׾^y Mˈ >!~Μq JSCI7c xma/jGŦa{\˞^ds}sSd))>S3K߲M1pp̟'' &\.xþ/!vk}mhĢIG tѪGQj&ݿɟ/P]6 za1Bi 1Q@?B~A3I Hf^FI|g d+^AtxYoJ$*r9QLQ()J9-v@5fr7M&ڒ ^{3($EЂ 3UHt֟ @DyGt[C0Ňv:Frk}Y -2-:ڏ'RC_d ?Kp$w*/d=XٗG螄flJ=2pէdo;>كFQuNGGs7{g/,-UN=bl.w~/1rgYZ7zXZִF! ~]ŗXiɟ1}?3DDCBCmlSf2;I]K@ .Z⿴_d{6/-/Sht'cڥ]\w-To4wL{M]):5PRNh*L{KOyz&CJPx{&4:wmXq1~CI9{O0TA0ǽD} ;A6%\ 0sU {ɋPl4'ת"9[hkk ;#%]|_{ʳ9i\JP Y\O p=ip8먭:m6 @!̞:zބP5ɟԌ\߰ywJZF*AaGbQ vngYZ7zXZִF! :w]ŗXi%L+RZ(>#:.D%[&N&-yN`P}{Nu]AU#Fo ґfA`+;UO1RZ'ǙՆlc5шnN.H^ŕe"D\v5\dL ٬_o"gH;ZC9,WΘPW^U?aݺd2џ?KkW> ÑkFkwA4*K@׸f."{rp8kK0j޳DWM p9ҙ⊘? C/G FN{NJZpYz@E)df܏3?ٳ<) r~4bV[31Aj74ǚaw,nZH$}UvUHx.Ύ_`#s4sqŴZCiv33֛c+^ UBF+AC X&ag6.]m-tق ?#~0d4wU*7;.,m1X%8CKzH?9Ey whYv@ T6 w+K}59iq3