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 # LT ] Integration:threads=4elapsed=6.801cpu=15.232gc=0.496factor=2.247zXZִF! m]ŗXf[&L=RgߴD. t03<ЫP8s29o.8+AY3by@bɊ?B6 "Q;{هd𣸷Lk5^:{:=Vc#/,28׸);A Gj >6`Z*u F^횾 ͟aDG4~a7cnHgYZ7zXZִF! ]ŗXiɟTʦya͸2w)g4 0Y4< 3 H0/q@LGw SNй o#d;K`K!ukɪ$?Thɑ}6 ʏ۬G~ny\z{%ByA`~M3oO+ݱgYZ7zXZִF! ?]ŗXi%G̉Sr\r@dCaZ#bE +_MtZb/PVFQkɧu"?ý҃oz/9W8DD6:ZĢ o<,TUxOh&"^!>E'bM.9 ,'v>: 7)8ЮTeOr7571k%ЊfQklg_G _iD:ώe߰_ @diR _~<;BjD`/h ( ? ɁUFK!D1(̛Nnr --]\/ZaRs[jǂ(,?9mloRAX,#XM8ƿ:0xB6Pu++Ͼp#쌩ݕ2|B}S}5}tY{th2L )ij6ͼm Jia#ϩH}Mo{r %%Q?[^ȃ_s;x%2պbBs6s#U*b b{a\pfvD%a\S_cʠF/5痜Nl1 Q=&]2/,?GJջc1/0Q,oҨWy=8P5^S8r{#}ܢ9S!љs9+䮓)jNUWOONow</sp!kH)VAҋgp"Dpטr!~m٠k&8Z8H3IǚS>@7v7꙯W0efrgeIiڊ@42ҨC8(p=K s:#|J P_)$fiWϲ~$HyS#@EBf G#WؚKvպ4$ ?h?OUwfA_Y83%f:!UWh_@4*e zⴴxc,4]l0.C^f<$ @eIC+=K/Iso>Id RIT]H kg/S;~:U2[1[1U镹za#Lw&`.F,cޔ.