SQLite format 3@ .;  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 T Lt ] IMAP-CRDT:threads=4elapsed=15.764cpu=42.916gc=1.992factor=2.727zXZִF! ]ŗXf[&5s^K9 aiinonܶ9CLF9/VOrieZbcArHl;:߫Ubܳ/eCgy {s#ug"FWMr-CKrn-\߽,Wti'e5Sm:6XOdf9a+Ajr¾7/ YSxN/}V滋2|e885v"׬} :j8L(}o"1ɍ}v'0NF- x,1!KMPـN!XJՠ2in & }j~P쁚}JK 857ԉ~QsO?"}fҰȦqV۪S>ɸvPN:xXp՘bkSi5bQwyESKN\.{P&"O2%H`ZJdz_w =1uwUW4yLxe+ch5$?‚QA'$.:~j=Ŭόe $%Bk?fﱣFò{~r>qZ`G`ʐ_+8t.9jAf~y`G7!N@`="D7Y_M=F&^"Y#+_@X~3u-1K38P HњX~|?Q:2P ZFH.ګ8lH= {ֱgYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/;>-M.ӊh岠MFfo{CRޭ*#"na[H=sJ+5#xm|-]+[\/.\|ΟP(V>gYZ7zXZִF! l]ŗXi%I oĦTlE tߖ &L{-P?(n%[K2N5 fd3d5?IJ{83(KB\):`.ttI0[&eVW $1s"{N+ lGb $oq$5Vg3)&!$S¥|QrX2deUNBGjWI캦qB$?ګv3 UzΗsƣϦo~_JXɪ}W˒nrpM983K@^ HbF@on.IO 9˲ͪS;'XJ<XK9!I'56Zg/e>~vIDպi?w[i?R.tXrIUf#s 5ZPHJ$A)?y)XQaE ԴGsނWQ@"p R >8i{ڋf#./1#E\yH3 Iͧ ;/J[Z BBSzxdqPg&CV%~<;q}6DJ,0 ,tE2*IgfGbE~f =ؾa8z\2 `EBuqùt 0KSFʽȑ93k3?O3c82iN$"Ul`mCl}C}&b[rPYJēdn&zzYbC^9a3 ]B4Ǣ1]ʼncHFyT<#A4.^,H7^ Uk}6?+.ʚ~seB]`MwVC/!o9T&l F~6 {GNڐ[Oz*[e?Gֹ+?dƤs5iTYt(X)qyE;Shl} LC琮AyۺMxzIމu~0rzfѢ$RAhO9_` ou R!Hw\^yY֚5Yh7r&m54U2S)A^KH*_E(2sj4PCfvjQB^zՆ6G0z)#HAf}jǢ˟8=@65j@g6 ȹH#0+ܴib=KB$]GO8^XToYO"4a3àkhcx,*Xu9#\+s,ЂuC ֑7Ljuj&ͣ6/Me-ӬU Jm)m9<x3@&qy^_`͈f:Vn鏿RPa) :M S6%"B&YPl|Ҍ4ិh%F6,U+l;p6=5yRϖm[3,J,)N;B^Uxۂ+^*Y7>(ΟPcIc2*AKcgYZ5e6ac09929bf525a91eb554c657bbb24931a8f9a5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 e8f478eb1caa43861a5485c081d6e582337d69de   IMAP-CRDT