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 66G3 4 ]S IEEE_Floating_Point:threads=2elapsed=32.193cpu=60.524gc=1.732factor=1.887zXZִF! ]ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ıiLEfIa !ODe؊ % -w+|P;_ܣ{pNa5RJ,H="AkbN}]"KvC.^7 L-7IjVOەr~g|#]Av SC;)V-/a5׾Vv6 lW8ÃfݗQ/ (fL)zj)Qא4$Q;4Y|+Ιhj蔋rB3 ,g)SUt~a;*ȭޮXY+G@}\nYqLg|M Lk(N4.e0PV+3`='v.!B_gYZ7zXZִF! 1]ŗXi%>glF:o>3$1%'6~*8W*}jB|?!^A5;lq"סBHf_2ƀ;"c=iV4"!Sz.MsYʿT@mwP\G _*i{N˺>_Jg'\98)l_Iaŏ: _'M ĸ8.EiЦy>YRQ߂' P{*?E':$͛UPC2èK IkRvϸ3!;arSL |"&9D)5/U>h {1,hA%<|ؼnQ&Jh7;= a0&Hr;"YuTy>$"vj*WZJZfErHIf>$aӡSRڎ6즃I5RiKzcf }S2VfrTNiy0Xu)zt/m!#ZeאVg7y2I~mJm\l*FTo6 6b )^>T=_.n [Z SI_ѻ{ CG|) )sZz8K.[A/cyD4,L\ܓDib+"z!UfQ j:YHDٹ7Sc0٥ZftBa{\x[' =?>l-}PǓ=wEVh*éBKnk: L1tpkkw/ Uk&-ugK88>ҷB@)6,.o?(f (6eb4Gy.d[ԣ.Di# I&]^~"xl/gwK\]#=v?~TW-u{cx8.LZpyUrބE(y<7K0ŕt W~EPahx@(0ħ CSί}oL[L"DJuBU[c[]g>WO`";=S$iz@_R-x͎tp? 6G*5A!h%L#64alnYCzITy~TOqwND Mx@"!OG Hs~B:H"koWdeE{l:wΑWWN4_]ȼP4kY˞l][.MNӨ_}o1z^Bj7 mQ|BhUM5ߕ ֈJw - t@[~Ƃ1TՀ"Gg `S=kS[ uj LExﴪ.2Ͼ_5G r#jqɋگ;uF)N{Vʜn6ɱMK d[V!KipZ5xj8]ld/0__G@zUfx8-W4y[ bwa$vea_~z R<@ӈ.ÝQuKQ7v i{(9 #R %9R'W9^@yr-L_gr:y?lKW'Fm "#Y!>jMb/pqz5OQHT5$Lw&T;P0)m(}?cq)eǡPhyYӾcXh3  0tgdJ+:FC=rWC!l;Op]*m/[J