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 y | $ ] IOA:threads=6elapsed=7.814cpu=34.044gc=1.208factor=4.367zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K тeV%F>` L9&2{Oږ3_Bj$2fb"}ˢ_q+^ig9;hªefRE5X)%*V#tXs]hg%8bA2JLb ^%o8=7~l{.`a}lgYZ7zXZִF! `]ŗXiɟdN'LvH۹)A,Kmxvbe5h'ٗ%UVADٺ$ӕw[}Aw~69L`@7_V%m,'aBE Œ#頍=0mI| ,`G0y>Gy5QSbSlS6AQ۬iNS4*-_fk:hS|n&pmoYn?۽ \| Ӹ<ߧ  /E"Œz6%h4ZD" ~'{|&DƥlT!oW}ﳋԡKbƅ`P3W> gYZ7zXZִF! (]ŗXi%@hYRw&?T1zQ{0kAǧ%řJt$8tTopnL'Aikd+Б-Q;$=7UѱX]8 ɏ$c fjXL Z%cwX[j{p>%/ce\MFJА /xԟέ=fBkʥ+\~Pj-;1\и٥Cә,6T. |w k/|[sg>2Ep97 XԠq΅ ƘW ]k(ȶE]y_UTFimQ-(8X?-/O/r7n0CO _|BU/WlNxBMY3X F?`'(.0ACo=wgR'%Ǡa#n@Aw5 NۜHdvu;b-4?)gC,m}gJg sZ# C2e]xn?S+8-Eot;8QZXhpɡϕYN|UKӫh%[~Vll*ebxgP1b龺3$ Q܈H^;~"Moc"דXЉYA-Ki~'^DYӻ-   1#kWF 2|R"[@W{Jj!±H4w=oP> 8$ek4a @LƤ{ 2m'\sGll S+EcLV1Y+U~04,}GQm7=C7u`4d(*']ndwT>VWS+!+[pd9+ _8ANp