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 ii Y|<.8v3Nu`^bL$5_ZUpཎtdV?Qb9v!,C9Lx1/On%5pƸ@#[n_UWNtr"noDo^\^ZH2!yVƐ4 wOz T:'RD$q\[˾9Q/GN٬}Βm5oϬ]Tʠ\2c^dxJ7E~W[952gYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/>KGgFaⵛKHL\s,PuOM+H P ឵ Fb R\)%8 )(,=밑<ƾQb|Ē6^ABC@vdV( 8gYZ7zXZִF! }(]ŗXi%;4bp{N cFE9c#˙ǤkIFCL3cNtO8%O s98_YY ?|88R&4Nd8=swAc`{#mzGG1(a $O>~+k9ZrWu[VU9"qKvb,F?W@'YUC3z<9-wnax2@(oX4ruesQ<}V8"f ko-gl,Sċ_Y8_,P葤VS;b-4+s~cvNS92W 1φ,W[Gہ\j~q+FijZYVLdڏ!Q5qOq8f_209 M|G3hCsh,̯ 0'e1+qPwzfm^q;ś4 u !,LM|"ullnaDě'< ]^~tG'e0O:rQ D-7:"Qlf`9:-v A1ebOc M/kiJ/prb *5L`?K@^s̑ru|tk08ip'B'ܿΎfi:pOcZ^&~c̡mg켃 K.^z;v[ 0KiOԓUfGͻ'ctﰕSEP# ¤H?JCϭiYr7G3bO&=Tun=l!Y|a3bW lZ.yNr 4f{JY{k=is!RGKI@: QVk&,*f#wAǖ%pk(Nڿ$/' emަ2b%4TS8PX̎vF_#ͅ(Ddmd=&KZzOUDHjԜ"n0"$B#.2謞\!XiM|=HTޤI}z\?Jaғ[MieҖ~n} <@\ v3|]{Ȅ 8c#ŋ!jdVd&T\)XT.LH߶?U_uZCLѕue~<[,J3Ńx>fyrU9U*{5Ղ9j2 i.~~})vCevzEq(ךUAvjRG#HG4,QEƅ$(V|1;4kIР E}n,wum| x bڱgYZaf8bc1fb161690700b1acda542c470c45547b871665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 0e4228d41719ecffc9f9581c7d1fa4fc7b3de01e   IMAP-CRDT