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  EL< ]/ GoedelGod:threads=4elapsed=7.344cpu=8.020gc=0.076factor=1.097zXZִF! `]ŗXf[&D60D'p'Uw2+*Gu[e?0 ƚx%L+=:ȷPO#5GU0 ]T-|>zgYZ7zXZִF! G=]ŗXiɟj bk4ĻMGCl!@֐5&Rπ ֞ssF YH3}YZ7zXZִF! :]ŗXi%B۾2"]s^N`49V 4ҧmwEg֛]hz[)zp40X1gq -r4A=T൶6#U[rXT)$]/]"͢~ v 8wv9f C|–^gbP!ԝTܚS/S~3|QvK[]!E2Հ@аNdFȿ#<"FκsaBQ6I['U1ί9*C UނH/^*Her5![zN 8v2hu #ӯ\dx}O Zj0i(~0XŅ@PXI\afQF87ȽŎ֦nОJʹRVVDk\ک΃~te2!om䓓JgI 5"Tf>\$6մK8}-г6I>;g#ޣ|d'B8]Qڃ|1&!;K/>c<ᷔx9y6AbqxvY>ЋpJoC|1n`z ]iPT:8$五/:1%0H4v({g6\A;2}`1+__s%Lu$ϝE7 taYߙú,{+-١0wB )ڛ,UlfG&dPDI8( /}+ncЩ3>#k`w ToŊ58p`0~>>S*(x0粐R*̧'Ki @.LFSwdtN4"k u,tqaOiܰ`Fb] 1y*P;Īf!C m p뻭\qO3?;0}I {6Nu>I~ etgYZ8617258a756853bfa040ef09f958ff0d3ef5873776b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f   GoedelGod