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 3 l$ ]/ Typeclass_Hierarchy:threads=4elapsed=6.857cpu=18.648gc=0.692factor=2.727zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjcyoo~}z[% m9A嬕}avHa4I9oT1uL0X4UsF:/i4jBH6cq9 K3Ǭݗ-Zvq}\)׍XSL}Z&wG1f/kRl]-:\C"a39v⏐^_!Rǐ@I(/xkWX;L$=.bvȮ=AGW%Dˆ >0%h: JDaGGKazJpt&Dʈ!4уCy?-7r̲k9 gO6'ϠY$;Q+`Հ1>{D8男gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdur R(>laU.u9b8kV' W/Jd0韽vNC$V~oǑHf! ͜X[9lYl~ߜWnS "*eT0 O=bn1 aXB@gYZ7zXZִF! & ]ŗXi%B:g! hV'і #x.W%M}Clckɥ@C D I@.8:Ⱥ8k'ɴ[PZCͱ @{U.Kknb,;J.nJq~Zٷ0 E3m"^K sgaF$8af2fnLl'Pt)G!sm`6㥮o .bqN6Ur?gd*ut]IG m1j= mƏ+1tҏ|գ{r7IIИp}gTl][s WػrAj]PϤ*'~;.;umY̔MnrUA_%rN/h>j^;&R"rV%"Df d;X}jSoңDr֚R|C!172%4f N / _ĸ{[8SH'(kb%9Q\,kʠHA36^(uKJD`Q5pAAci ޝ-uWBy 1ٺnʮi.er|oYы >Gyq +\7Z[G?d,k. 2e-O|A8,ZA"v0FHj^Zd:ɜw Iw23{Hn%C6`E82;Jv`{#dphU),_8cX Cr?`Q# إ,m 3 ^ABu&:* =1i ep_j:gH3.i\Gaxغ¹@f!׉FjS6pRW?'Be<2f.=ٶ|߾ 9 tW1p!H`)p>%5i!I MUϣZ>X@oL~ zWiUJi#Rb>n"YtXE46vR >jqhSFM<ױgYZ5ff37cf9ce39ba4843a6f2e8bea3bd4966716a9a13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 3 Typeclass_Hierarchy