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 Y! D ] Splay_Tree:threads=8elapsed=54.672cpu=94.048gc=1.417factor=1.727zXZִF! q]ŗXf[&R=P"ՙxzВ/se싡TH9`>"8\hr"Rձ_6pB}6-rWΠj$-å/}*G`B Oo!9(+UR ұn% ;}a5'/PK겣 }^3M:3$uhHp hY93Vr4Hoh -}Eib'j"K $J]򋥲Q$ N &5K:ϥ9ShrP д^*m`p] }oPsemv\9ϤAq,1Tc$K50ȟc  ! Splay_Tree  %=><?rj%bR2.YP0D\ٲQJH:7>t)L'XQ?KZpCMK3I ,.Y}uA?V3@vm: Clp}dM=Q6nySW_S ?hb|8jgh j O[7j6kLo+o ċzK5͔&QYlnK ܬSn0epgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻@THth C9jӪzMS*; # Olw|٣ͫ/<1VG]xMɲ%p֝ZNq!n5[ @k`(⍲!5g"ݫm xlru gDxzPrőms V]F!*/熄c(Qj?gYZ7zXZִF!  ]ŗXi%>t{pI 0IVBKfP*c ]heJ܋αRDhں69|ݨج&#f}g3[b_: k׊U8ûLex sGy fF泱;͇r#}z  AW;+.WF5LG|Ai %'KtkX'\밌pnPϬ1yj(ӭZs8/;uou=D㋾h&loz UDcϾڼ.ˉ7p\赩љ;N=9( ֏x~[jqvX'l~]?4Fm$wb;`/'( 2j2:Hb?zx$C%Xϒٓ1wYcC+>W:_vS~='ݲ+h= SɹQm]I "J5hf>6'>8ݪ!e 7Iwԡ A71F4_LA,J~@,4~`_N]W<BTS)'TQK4jz̍ZNKSk2^_*4i? +u(l ?4V3/||]Ty [+p@xWSQݟ*G& [dP+ D cPOi"[׼ g WP>j:HZ۾ j̑Ɲ`N-|ôj([i8񡀗F.u10snB_~tOB4ybQgYZa61d0fdee75e536c49c0a6ff7d0f63c775080409c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b