SQLite format 3@ .;  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 6 Ս|e;~%x75w*&X%2NB8ryjEwaJ\Zs ܨ bIqS.=S '32X_5 m>Y%}4>ܲŚZ a֖Tf-CX}H 3OqαgYZ7zXZִF! $]ŗXiɟ 1FE`空 Po~MP7E8Q$QKUK)@9Bӊ=;~;:mȶYJl'JMB}$Ub kg9g-3i~HZW7 -u#%H1_1?fD*/' JxwFmeV$^pUww~O=1Öh\-K]5p{S;(Gk&'hN{2=;*'lIm'w]꒻2J;@חdJiuG6S3ѡ[#d3/p$Z(iV lGZ䝫Be& L5L&gUtgWNKGk'|]N~tQj7mP{Hj>UXeTQu %+V n2mxe'0ֲ)ؐc(ASzT0}EY‰kIcv% !5P'1Nʆ~B}o8׆{u[?sENOjGgYZ7zXZִF! CN0]ŗXi%IJHp&߉.:q9zI\Rs^m)9-`%$k'npFw{:9YǯmՀ,j*6]uzK zk{[)Ǥ&\'rh$&Oxaz|s OŲ9}ĠבCd[FU[8q%ZߪqMwΥCKlj^~dyVnH&g 3 CD-(p[=%/'Xw8. ;gJ5 va;V2ɋ(*u E K`=xxA'/DAms Bsxno?&nmu#&Nv+D$ 2_%|Wۧ/nX}JE$h+DĹPx c1tsd φ0OgYZ7b055ba890c1ecf47a6ddf89bb6dad22132f1937c5152c1238c92aaa6e4bbb00396561110d931d3c6f07d9f7e3e9c2a1337b78a67c7d34335daea155  ZF