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 Ot, ]/ Classes:threads=4elapsed=2.240cpu=2.504gc=0.000factor=1.127zXZִF! =s]ŗXiɟH)0%ou@)CFRi5fnP q 2"hJ3*.7GZJ4KZbBӇ/Hb}ZvQ6ŧ-<]9 .a7m94+DAׯTB>:lX-֌|Ksjd>|+*(a8!01PJᳱ+!F׏= YS,"{N3b8UaDCĐ'_\hrVcO cqc{%:*it΅TjSRp|݈8n)[p]~p|}7ԉ+ӃFq\:b\(P)Ϛ*z(vci+w_ׯ.^Y.XjXf3\…H4img?avՌg\|('=MRutxpOBJ,Jց́*"܅ #O_:7MV4r扑B /q %u BY[wvlJɕ.g0ww-].kl*GeI2H|œ"oۗF( 45{+Wqޒш *.uC~=w{3 AYZ{< a{er#~9n`N+ 'gyX?]'yhɌ?mD!R@k`Jn:3%i73DTMcn8wxVtqݜٓ=xZXϨ1 x-*<҅1ŪGt?﬚uӯseeHF̛ˆKP^5w8$@=ڮyqWHׄ)ئCSflsrSPd& G5Qz^ZבܞcD/扆iyDe9nq{+Eѿ.g[jJ*_/^zHTn+v5*-ޘӣU,/uoc-8M(nw(?/]uB_Cg=~|@Y- *uh跷;0YAh?OV@m^~5%G;F'=]` {R gYZ7zXZִF! O]ŗXiɟYmSb!! o;nSx< | %u>7APb#0Y@/Wnk |'gYZ7zXZִF! |]ŗXi%L!l-;OgX"GGQvߣwwX=M ȵRr1X :/Azj $?1X.9L'pixiN{H|۽>.l/uOG=30~V,, %fX'Ʉq'F16?BmSk*_ It