SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   ~+ |, %% Secondary_Sylow:threads=2elapsed=6.257cpu=10.320gc=0.308factor=1.657zXZִF! z]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃-W"Gb**"s/mO-IzƱ0Zj`B6f n\\rFo&MAq5].P5V,gUg쮹OjC ^VIҍ}& 3__4m-Md42>@ћv`N/ $˵gYZ7zXZִF! ']ŗXi%~_'>a@^( (KXYoJ&eC1hXzplb3I9 ݤ EՌ5vO:_hsvB} z.Naz*˪O@ ^#-!lNWh!vUUZg"J^;?vS6и{_61y5SR*Z(|ۧaM R"[FbpE <ixg-.s!ϚqZ< Y@,N (fe 7WT t*1{om _=+ h= ^K !) x+Ujӹ维 lG)&!%||1_#)"iIkEAh]C݉؅h[aL1IO Lp(s,մ%\-$e~;3@rP= stPL;$Bcl %sl&qzWqC򹂾2~e& 6wz$:5^%ϰ`_ڹP|Bȯ }l8swû &"3SHϓѺŹk&OkPAgYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 707f7081877423ffbac6d7d75ee7625d5f888056 9016e70736eb12e7f8e98edb02ac889909110f14 c6d33f696908642619028f80d5d7707602192bd8 cce72edfc02a20dd206a2409c7be50875c5f19f00ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 f7302172cbab6776a4f4ea357d315a195daebe42 + Secondary_Sylow