SQLite format 3 @ .S` 5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info > > &zLt ] UHOL-IMP:threads=6elapsed=232.430cpu=557.860gc=28.0797zXZ ִF ! i ] ŗXiɟ fR%y cAYЫe 8e;38* ,;q%{FF$C.+/|h Ҥ;1ey%x5e\;䯧W0tk4}Hh-sND)V*1dZ߽l6F% zx( &JBFOx7$R^$)omD-^F۳k0{ʈ ~U䱥A._RjhE)'\&u!E2Ax# Bӗ5t03Bb4zYV2wSga!0jorӷr#G&rwh"i$̎d[(WK(hͪ8P<IJq"} L;[29|ӛ@B1x0F&O=QD^;`G_qfK?N=Y^NwRHmP4('i2|ݤqWSA`X/?M4@~2:T,pvʖr5HJ:.ѽGlDb3\?}miHE(H%cwJ w@2ޡMQs},@N}ZM4)29@x~JA мe*7o!BK`&٢s6fIRpi`7L^'KDdp63n6SZC_h1#(|DH8#&7wS_BDž((BIA4n%TUЏX +g9l2ke.rH.Qw?Z-]EKDo/Ow22`GO58E_Uq]o3-rqcx:]l<^j>@XTkg`IeJB #(yÆf;Qb՛gi@5g|h5{/CIMC"+<ԲjT9KJ`R4}G"j[<[)`جR:Qi(`6c{#!eh5BRsmJTc$Ut0>{M=b`V宭kH.G#օK5G:OZN8o`pTڌ
]3WIXa43(Ӹ^@x{)rV3RX8$֗*nkj{L"[+X3ԅK.u,7HzAr4XV0,x F&ttV`nʺ!IѫDjZ匧U@":!7/ՆȗB%[axAzXnxp2l%39a , Af#rӀ&bs!h )NDx 4 OE혿'Eq:$c}4yyN٧{/[73BBI` ߤI²+GZ_L3цhkVZgyʱ*LZ8dE/K