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 ( $$ ]/ OpSets:threads=2elapsed=19.878cpu=36.420gc=1.176factor=1.837zXZִF! R}]ŗXf1-/6vR[$N] V:}]縅\]$g|)3keR(n{Վ϶3['g(ݷA  h94 P6$誽{+,t^b m3=Vg&<|}P`uҖل9&#^I5Rv3[&p'vMoXB?=d&Ò06Z-/=6Ǟo+:H^!jN3\a~qo~/[5hl؜@ g\W5MõCXӹ~A#kpӿofao>C E ēfɭnUP ڶJ,ZBBp7% ~ $bt$Ē+F]N.qrop͗;{vQu爕^ 2Bc#d6aH5XMsB~> ف]KF_망F?W`St-~qtz4?̒.2KXh.ghga?l ,tTɽ]XbͰ2#y cԅ2f[sAtf9F#s H.a7gYZ7zXZִF! S]ŗXiɟ@*ajmSZ UwgJtIPpۄ~ft0)E.`PW* x!`Uf9H(?؁c.dXq;]d~;Reog\:s F]:9\qIi r `=%:&7; n zZRe#x|v ĸ|MV-)FO\=B{yZIW Wa MddE uEɓ(#s}M`nʛqFsypsZXQa;f8'5,ܝs/r~r,9 33+$.RXߋh %9^\WYġ[Miع5Ӥsdltfdl- 3KH~]t%js7dAMR$N1U <ٰ;j 75 {(U5[•,*oYDEMl' %37d ܜ E4598Dƈ F#*IvVSM* ]S=/nMBJӬqVLO,je0p"{5ä=UǮ4/{ag_=WwpudF[?`cSHS">'i\܈>/@lekuA32PtIv' oC5/M2<,DءWDQyL^QSc7H9lE<a@='MsB['qc/C;cu7TpT'Fǡ͍feM~cg-H6j_r2)y)i]1)7Y+i|-p%۾rP)AWA$6[*hÎ4@u+@&&|u[D}VjÛXt7Pr{Soi0L"lhv1VhmO*ZoDr!}1rhxzҶS u>docy1qnH;ReNjVPmuaۡ*u꟪L#jYifcJ}Ǘ~ڏ*܎q$IB {YӭSU9,ovB*л?V]4LV`47,cB bY@GU*߃C\È$O P-d=F