SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 y \ ]/ Huffman:threads=2elapsed=11.977cpu=20.768gc=0.556factor=1.737zXZִF! ]ŗXf1-/6vRZ7Y#Kȅ |[7fn 1i-^!CɄz3Pp Ä$2U5ÿE _NV2Y}O6+; l OVAyfQSM=kCM+Flwx 5$: &E90viEUI.`թv &P9ZֻQhµ$~;$- 7c"5xw|T * ގkVE+Ƃ%%W=2K(e$h'TZ5T&,;r@rMZx5/+ERۄC.eIܙaSbۚv`qw.]#>ߓ2;]0TM;!N!wL]ŗXiɟt0sϘ ECS>ÚQEQKsa&ө6V|.ZD|c}YZ7zXZִF! J]ŗXi%>g[j+qNK,Dt3){tf#Z""xxDpV8cbKw$O<4>2]ǞM5TK,6-IQVۀ%<3ӌaGsc3I4[|r@>gp$+FG8⫘¢vf m6{9UkGZ*,Pr2SF"{/;>s@^g_B#v:gV?P1W7/ۍnjE%5{4)9{ B3hAEcz'? C¸e.X /%UG'H<]V66B7۵[iŋV}Y.miwdτ8NABtj=lQwܨЯeғyi7؇ (WtqQk띂CT7$%Bwћ(ߛrLIG) O@ޡyއM[Q4MؑLC%tߡmSGM>ZmB*+2j܏Re cqK?)Щ<}e̵~*mY'6PajV800s wͤ1Y~tf`< bKP:PM%';p =4SN]lDzh?ȯ^:M#Q| R9YCq*)r->;7ԙr3^|ZE*tZ1}6 +SbMd`,^^<3磾&4j\#>Ot0LK>9 UoZXGоt &S1RayBKG9wHx՜`9$(՚]iv9ަd)x=ἵS`\m;HP ŹŖ6ڪYPhynU )\nBgYZ52718e6f2f2d5d6a10983f2225787f130702ed3a767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418   Huffman