SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 \\! |d ] IOA:threads=6elapsed=7.145cpu=32.444gc=1.608factor=4.547zXZִF! k]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K imIdx;״gSeo pP &`6*q'k[] +QPבm]Ao'[n m[F{GcA0Ӈ*߬t43EÄU y"KbPl!v\&UnLJwBJ BiU @OESfHЌ'ճ*^'F?M !ne-ZOlMI)1)CvkoA|h8 AjtcTp6ӧ1 ? FM_xMj~W1s=̖qn'+KHm%S,3VytV3?!] ;4آysAY,S##7yi -(ߖ07-<|8gMgYZ7zXZִF! `u]ŗXiɟdN'LvH۹C<ٛ&:ej jUA~U)j/*l{N0Eї "?:MVȩήwz[qb nŪ@^5#yy 3=\]8M"؅#Æ&}!'w;FBUNZ%=t2cp01q;mOJZa%RTb`7E GD{޽mT4s;pnmS`˹np=.#&xƢO6"zClߗfpI[Kqi]J.n4DV6Mo,+3oy ;0h0wyJm3 XT,3uʢ `ț1gYZ7zXZִF! )k]ŗXi%Eb>ni&6 (#s:P$@iJx@ԍqvj$D֚}N+@ z$zL| iN6h˓41By>lE+̙%?F@qQrVsϰFsfnͷ͘Շ*Fp?6lsҫF,m 2tیie8OoP98rXgEy=J Ӈ7o8H8-dXxo ٵOb9pm\fe/5mr8R\ !@#ɲ.WYL맣|sgԛwxX9ήٔDVcqamhO /^agsk02VuDi~C铴Vۑgs86vKPg^laʹ#A^퓔>E}}Y*a-3Mr^_.!XjItlן0/TUH3)PGs"˸Pp; 5H&D)Vg lοq^/Znͥ㎘ @ OQT4nEbG~<{duX:+ύdfXYv$2^&5fvy+ bZutEȰ}z|F_r]jށVP$׺\邦*9Ki[P@4~Iʯ[hrc%P]jF%D ٣udtr Kh"?,s?ΆNM 3@B2Cr?(=+\n@<,]|+Wې;fha"Gî!N$ =lU' S5gYZ9cc9d021d3de1da98046b62c5edf2360ccc32337bd250b6fe2745d27d692ec1e5be14c03860b016c ff7f952b4b87130fc0230e1804ac75502f28965d fe67287c5b3fb37db075bcb98663654ceaa70c27  IOA