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   q \|D ] IOA:threads=6elapsed=7.631cpu=32.660gc=1.420factor=4.287zXZִF! (]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K CAXXmvn*\tz߈.:={{ʮ1"kzfwCh5Xgvkq(lKr4jtGD}P}X<À_>Y͏ X{z6W3<=' <b<4\l̾pmJ%ͱjՐ$P7da CMI˜IImv~т;4qR+[ŲK tYf~P92r{^n:F_-&]$X F5+JG<->[NjÈ͈`Ck)#3/x/F 8K&R#6;OG1_BZ_4gppueq}~8x~LP>OZ$jnBϨ]T`gܿr+eow;博;X 1L'Ѻ{IkdH) c O@ VA$,+⅔s? Id_&Yk|gh; fC3;LK_^2#>θW 駕cs 7mb}w^!$'qŶFcXyGTb9RNv;8yءt|yyҫ1xY\~<O x,G[Y6hL_GXfG/)7_vWiO,ATU<@8uu=ַxKmI NC*Ǽ˞aɅ"#BC[0#)GOHvi+08,#s@5봢l1ˊezkD`nf^-VVkE$ Ԙ~f}TK/1 NUP$cuOW[ա3ʲ'ʥJ_ŅASv;삻E 럲_L+^ qe_4bG73K#°UjO?BH+т3`r)s\]R掫AҸ'V oK{jc\<\rFBui PZ1)ʇrcY~""uH`ۼHߖj.Wx& ;;ĦɿBڠ&3 Xlj^Ս7t'qW2}4l@ zZWgVmMROfjPr)/ Q$ @:E~ jCNQk 3MS-gYZc82564437107996b96a1ae97a9204f5e29ebb8fc8bf312bdadee5daf8facd55eb1fd3c8949cfba8b 7f27bfd5ff52a522c1ae591bd5bdcdfd37e380f5 3a03499a1bb20611e85816d4a8487f8f706cabf6  IOA