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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
3
DlD ]/
Typeclass_Hierarchy:threads=4elapsed=7.001cpu=18.756gc=0.564factor=2.687zXZ ִF !
] ŗXf1- q恈͐7ӺV d>`;Gؽ8nt*q*
. #lw gh,jkt8GYD"uf6u8oUr(Tҳqh5>Xf
S EeB!C]Ve
1³6B6@Yۨ}ӓ V̳GS?A!_RɘD ҖE/Q y&:<~Y~Y' t< ކBKzTT*M*tK|
tuW;sޔ=eԜ*d:/L&hq19X eD &쬗Fς[ V ~}(k~R5Aңם0և>F&m.0e%5d7 l@ sh!g YZ7zXZ ִF ! ] ŗXiɟ1˦r pt#M&")ohEdu8 L($Lrd8/"` DVb*CSʟ (d-U2͊ЭiݪD _>m"R;*x;F^'7d]pK3 .
wg YZ7zXZ ִF ! )] ŗXi%Bp2OkL .bGzs @ G|;:ZSGX}L
Ac@q%g铃β*LƘ eh{Sbsv?:0ԸF &%!"U|"g:Ewþ !w5P-!WU&14ȷv2zxFe, A'E2 ڮ;zeK|s3j\I䔭 NbO2`} }($րǢ+?SuŲ +̷݆Դؚ НPՁh?M!LSwȣbV>/-є1qm +рr85͆ApqebL &b:ce+>7vP-$rPE ҫ6Ydr[Q
s]IE | HQf8 8`tI=vVi J+8e jMF.M 3^XDa
lOƅ;AJvqHXBusAסMU Ձ qtvY
~m?<08U{}g f}ՠD, 28k4 [Maܐ ڿMFO'BS4aH;P)sz=$G'0Il)=3;N-*smoT l.&5Ɂ[oD¨ ov37e7G?GD: xȶҝGJ~,
l~!熤xQ{Zn4]IlkuU U>߹etMڵ.
x:.cUj6/Ki93^O㮟 ߀
J`A S 6)g YZf26c167c16c8335b0c55151917060a1c31f449d0ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
3 Typeclass_Hierarchy