SQLite format 3 @ _ ! _ ._ 5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents --?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_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S- indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info zzZ8D 5igUHOL:threads=6elapsed=280.531cpu=995.704gc=96.286(/ ~%.j6HRk/$\ /"wF2c1'al0B-E80 Ҏz^hG4p,(D5P<ڇlefk"i_if:w7Ѯ8jF,\]Un:4%yh,Ug6 $McE$C<-4[_L[2lxW"*DH4ba>U?BjM}RW}m>Uљ^e>D>fE Q< mQj_YZT.m*ej7* %&aD@,CH"*Dc!Hd$#dÀDI˒ 7qT.aE0 B>;MvLJ% i X3-FN;SyYf h>fÁ0eCGceJ1ZtLh(L`H^+/.2!4 04HҖ ?̒ՙU{ߌz]=֧e.q.~M:sy&C]&^egh .yz&uuI%=0K4+@} X$fi&i$$Ţ ,(8HCA 8 7:/ dv\.U $@<ʔP`@I `ʊx4#XQ~vKקfYxia+B{^sdwhv*4 88}|e2Ц<&HP^Y??β߷u+uV;[qȾ+[S5SL;;!!᠓aY)YI86ݻHݴs؋k I\_}H?YCO{ꡥ[0l:XH0a^4 ,8}V:}D'J<t'B[hZ3DX$H8(! A^5&Y+ ʃ`!PHes43P@BCޱ&aŦ, (jyI 1cXTnC<4ORnyj{z74ߡLqf1""= iEiq4Zx6K֍_:-[Wn'4" ]0 ,DAb!A! YM;`@[R$ 4#ycS
,
ѲxFk3:aLPQ˔4:q}4R+2_yhWWS;NوNkg
Xǧ^YݯWZ4Xv֫:~*~ь~{#L ( u\o,PQ I1#nUP^N[IYFtz;.3#紽lff4xM^SNmUu<^HH3
-/'^jB!HUf\WeOu>1_?sz5l.!"Mr&6uP~M7m<$ 1tk]y:N;ȵ[۞Pc` Ƣ7yHp$za(XXCI`daHܗ{۲W[uuڌ!^eϾ}CzP4$&4FH ?dk{zZs|߶<02f>\uOuF/Z)olh5`nqvFxOSû"֕n+vpqY<4
ZURb*١ޛFh$
#Ե\U~:g7I%٫\ի!;&4|NuJ^Ou@(VJ0IC4ufڦm\T2АȬn2iDK-Zy4ݪ
VaZLe~>&H^wΨZIurU#撏zȃ_6iSvõzը^~ҳ~z&qFyWZ{)]7ˎ4Ų,")Qi
eO ` P&,%bpE!74
Ұ0ȃhP