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 gg# D$l ] Optimal_BST:threads=4elapsed=12.047cpu=44.916gc=0.992factor=3.737zXZִF! h\]ŗXf[&]j.F &Il"uP[n -WtrT~Re7fLX }KX{]V,Y/f R4寷C]olJx6Msq%,wa ~vK:4n4'V- D~ p)hU>J[cx?ڍ\Ver KMe sjRG0r# t;&|>{ǐ?)BgYZ7zXZִF! Y]ŗXi%L Sl\Q\SXLiE59>Uc0Ch N3`p.ʎvk@2 IO(r TR iF_ 3kG'!To, Яɐ!0>{]x}u/ '{_ fEU-PzUwMf`lS_~Ԭڲ]ۚҋ%(7 i͡m OhC"YӽeDx8xNkS/yaـicm͆PTSCahY0wpk.jd1367[>1<:1:F#PtCYݸ{<'% ;92ўuzl>^H؀z3slE|mzqvaQ^EgHwIߧ]bw%mXܸWn^Hގ;$$6q%.,AL|F`EF*T3u/SŜpB`#>FlzfAaˠ:wJJG 庥h(38-&v;g)#hJsvf=3. APV\BhI`֙Iٝp}S)pb#BԍȈOL"#[,$pUw񬑱U@t NY$J*TX!՜cIBXÄ 9v u&1`S hi',/3ޭt0( Ѭ²#Sw>CT=27d$Z.ړr Pz_x C/NRm1ǥu{e4~N==JSm{6HMیyu}G!` !1 FE:v|/ȁ S`0