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   t TD| ] IMAP-CRDT:threads=2elapsed=25.094cpu=41.160gc=2.108factor=1.647zXZִF! ]ŗXf1-/6vRZ- VG{? uaԌ<[_ݛ )s-cYȜvjo"\¤ '+/O.QNі)U,Ow,1H '7'lM˹uQXnOF:(@Fע5::mhF|u[K>"Jct$I);F,- WˀR*C:)/A+O(}Zc*ue6g:@#S̜#[bZ쐓os+ Pٹ_i|"zJ촋4P黡֬!a#t{`"zմ߀m=`w%5G!J2%XZk<_ܹ#v'L0[ {WxcCnvUv]JHH1DayE[۵jjٟ҄!K*P4_\1RH i8T#@00&wtHV#seZi[\+#JEScmk 뚞Lg;]\Ɩ=7UEv3=(#9B߫ *79ݱgYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/߰xgmi-Kd9UCQR/ڏB!JjjJ qH$Oܭ"aCx8BJ5R9nxhSXq\dzgYZ7zXZִF! ]ŗXi%>g8T;dwLJ H]@ϳIa/m*ab^I`rܯ::k5_ qeG=f0bKƱ $aWX {?pG\$j@D'~W!Y?'5Pv$eGe?~(NٖQ%YT0&SMPđG%>*ZfFAV> T5NS7׼}dmNp2:hQw u>hQa@ăԓw=y,m5|0~I.wpyXձ/ɯ|oKR=w&>1>^A΢)em(AQ@!%/3VؼF?u>1efA'?!Rn]7/>#T\FcAxy cP`6%fTHYWjQY[}2F,P:o>£ #$ZtNđaI/Ӄ0`ʗ#ʔn #ϙ*|n &kcLt8'KṔvC_"ð}iDldrӕ03H*(ˌST=PnM<5)m"/|mNWy}!v.PyaZ {DZ~)dR}!);cMBNB55eJ `BRQzIJ?b6,| fN$6c:ܥT&5*_l3%}z5#:wYvOPߙt&E:~Ixa ꑠDս')iRgN ꯪDKbc%tdjI;s`>ZA8D^+.OܰM@+.Ý^]$iJfδ1mcKN9ݍ{ٓ*"Q yjnf$m!Rl(GzKgRpy%!\oTٓ0E SP.14_.Њ{co-=QO~\0~`e<^~bOXvFL_>Z l`(l8:+G嚮֍NrgYZe31d5a4ffff50e0aebbe303f9a22346798f65154767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4d4f680ef9ef8eca1c306d8c0d6d4987271f3397   IMAP-CRDT