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  |4 ]]]ZF:threads=6elapsed=11.893cpu=44.160gc=2.628factor=3.717zXZִF! G]ŗXf1-) enȈA"tr-j. ZbNVHDw 5̇o]Ƥ¢|'lJ_ڽ$(6m5ƂǞÙ\}@߉tG[;]8f f0Sp1Dbů0ZU:IvvɦCZZ:HȦs7EW)oCV4T&=مvFXfc ?D=rfdwQhmhxRKtp? 0v/%[ A#R#f7kEocEdiL$(<͜l !"k*"<]$zgYZ7zXZִF! 7]ŗXiɟ 1FE`空 ` -vm A(1!n⃽*̈́([ e8,k2nS\(b X"$g:6)13zΏ(I-q?c }P_u8FȊ1]4ֶxb'{\eZ%tu˸<q0\(Hm26rUcpZܰ+k:ؕ͹Q`4I|o NG4 HD /Pӊ3+݉Q z2=QK癱:wz(±gYZ7zXZִF! C?]ŗXi%B!`\'ѥ^BDH^+d?.߁ xX"|9Hx$kTفlQ )pc"h` >-e]?Yx\w}+beTή]XV! o:[y]~ITd3Zg$6p6ۮI3*?BS` d]h,FDK*^3f6/$Zj2kD`9pEӻ]ڢdkc䵣vX/:"XomG'[Sht+0M1MfV^IwuSgP{uR"v&lA'Bw @&aFKX$ٮF3(*F3~>XDSe=e4N T.))sN=JAk$TwYǬi{^ig/|/v32ֲG&ϚKvi_OudN&+ }E~1c:\k¥]izz69pZ mױ"7/]) JFΐA}{}(Rp)qnd>Km qmOTx#"E< mw!V==er3KKn85*$pBQ a% Y8;1: d:M5KT[r?tѶ3zĻ;@z]I xf*BkY" ^>z2oE/ tO43{07'H߁/Zg8~g#ĜGYW"˺;= Ns;P BiN9 Z\e:d驻Z WqE5O_vtz—w11B _.dXWVY"3u5]4!g-PeQnAHy^1u+q{яnjxJ!GLTXlǮRΎDѩfw[D1q/iOHy?XO@ϩ٭CSS$W2Ri+,i@s|C\V x:ZREm h$V8>˨|MeQJ*XL t{27L'Dh_`]-ˌ6lmbߌ9ͦ_((X5&REx?TLzJ] v"ߵ[)ž}Oڲ\ 3h|Y:ŋx:[l5N  JӮ2l{+])psOi=ҟ!r=TIX#"#ZF~Kj%" ܒgYZ539f409d376aad1c476a69fd46d1efad8c125a8f43c7be6fe13329de6d6a102e9f64126d9c7b89c832336cad489f0c3d7b803d505b0e598315be9f8a  ZF