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 * 4lD ]]]ZF:threads=6elapsed=12.030cpu=44.108gc=2.472factor=3.677zXZִF! GT]ŗXf1-) enȈA"tr-j. ZbNVH8J8gДN_n_(gAߥӣbr~פCmQ'vCBnin|]b' Tq|0a^r.N"><7kii*.qEX|FVZ[2o qr^4 ͪZZ{@t-t n4j!6})3cX|xaNIJaU'4ZP&q{^FlOE Nr8#n@1cZ` (9FrXtIjpwnld Y5A1AQ;ԧ-?kKd/o= ?7x]#&KVc͈ռ poHEKWTIY*o&Gp|/E]? sn\8e!Cݢ2NC0䣑@p$3YvtuMkgYZ7zXZִF! 0]ŗXiɟ 1FE`空 Y/ >V ޳ J]d3[RBQ,+aw F{攈R_[*$JjReԚ=Dc:5T hO9MR_ I= $ utҫ!G5uj^* "j  ʛ:D2wKriڅ-a_h愼_enZî,vM$0lGT@!Px7/)K8K5l(=:J(ρ+[UzY##iJL@뼄ǺA([rH6{so/3e4jyѓ$N46l3Gq'ςG iJiҌm[2Ko@y[AէϘdm H9%6HҟA.jXt(tOV$+L[^#Px;FKY}2N^1VPX\@40gYZ7zXZִF! C@]ŗXi%'qY_ᥰ1doȈWeg$<ϲnܸGj$kѨI޻7}qͥ|l)ܰt}Hh>B 7LJ<%t($8t1ԡ*Ȁ w$G]nG6艷#HJr-%F&Gʩ-cf)!% 85se "@ -!w7Ɲq1ev~J?,+ Sm|7d!\ʁ2+o`T,~91'pUggss_;} +J fM\t`ʡ*lSmEI?͘:c񔉎Ђ[h_(Z_^w{u-x# K~zF<5aaDgmaEvƮw%= sGT҆y0sK >/(hD!9~Z>.Mn!y*n/{4T^rוdZ!9-%fb޽#KKJ跆^{&H-n >` /Ydk2']JN|J]fwi4ǘzE^uؠdzH myuٓLA[6]c>+kwXo*.l'>3%27뒔a_r>sZIh>з4?+fgEҊ5M@;l;J&lA@m.ީVc7#;=$ԫt~" 5f9蕐szJT !EyҧxU413KwL0!DGgeCI`D9z ﱃTj@й[o׽`*|IPD"[{crJ":z,hjGdto⺰'[VڳqP̉_(d9;nqORX1_]gڔۓe0Jhst F?"09^)C{-b}ۦ= "9P_;2 6\Mc`7uOCE@FХr]/7G-;Spg X$|l:`0 Y.6og(l*}]p̺>+UA4IX2 ڰЛ;J>q+FvDWʦ m_)Nɰ_b dgYZ618e6c63fcf1902b52e0584fa0415f86d2abbeac78a3df3deb9d45514fea086c8beb2a7c1a1ba790e4997d8d66b935dc02381a822f875829ea829ab5  ZF