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 % dDT ]/ Latin_Square:threads=2elapsed=7.981cpu=15.440gc=0.332factor=1.937zXZִF! i]ŗXf1-/6vRZ(gYy#= b;!sP:lz#1b!֮t N=.O+3pX'd)?'1 'kg߈ N7r 3 xiH|L_{-N9v/CYm<(N`ظFX]ZnďjR][Y5^yL4"MU]LN]\qjj&Jbf0lvI~ l~@3}VLMZS'4 ACD\Xi[KGU=t@w ç.N_'ek (,h_p _mcycKspDX\ϑ:7W a;MLxҴ["KO+t~~k>|UA4Nߪw'D%tۼ*H DċBj H|aa;I!1%׃:Ro5!$-aX#PH uB76F9^P%ץmE3vu`N;0ݎ_S ;- [T )B*tgrCP(C.g"ALwޫ+F}Hd|4 +߈<@vYL‹~W<1墮޳\ak)h›-=kr\TkBGfD6\$FJf0HY55Cˉ%juPMLШ5N d48Tq~ o9m|%Tlh݊Xx.} & fe,罁u$*Z&z(qHv6gFX ]kK/IۭzPl 0͠pl4NcOv+yG5? /€+Jxi;gYZ6e561335d642257b310ca00af332403f15a7183f665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 % Latin_Square