SQLite format 3@ . BBh77otableisabelle_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 -  | ]S]Stirling_Formula:threads=2elapsed=18.709cpu=30.300gc=0.848factor=1.627zXZִF! l]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z3z/ƦFǕGĥ-m9x#~5o [mirY3]<3I|0ǿߍ+=A/(y$PCn=0#DLlmdIuD* . ڙ|p[%]׫agB/#!'L>vNaĞ!\:v4h D:+༵jL#*G.ABB{. s9eQ4>c% ^--(cgtefWG`u$:6iEɗ+6am N/Ϗ$Z#y]wZ0 Cp(i]|fOOZ۞G?+D~ =|YgYZ7zXZִF! ]ŗXiɟ1˦r>u`,b wR?D1;woɂ@S{hԏ`@6Kͧ+l'L"Dm[glz4QfFsb`(h\E23+y #c5HajZIr(0H?i0Lkܤ+c}lH1#?49蛱gYZ7zXZִF! iw]ŗXi%92)S=p(ĘԖ Ҝ?[0|s"dՔ,c^uHQ'Oab-~ړas8F[[0:>*%#Xp)hZw:Zß]G^rZajtx杷J 3!-<~݀NL7T"]}ǎޭl/ AG#)G{x@E< R8\\WDI '渓}hu$#PIK\ZV"&_oh?GL5]gJ|, u] :D4؃'juKg1?4WrB5M=Mfl {/Kv->hVemK:ZĐt ́DJn+UF@6Aȓa>ְ_MS}Sz0սhsF+BoM̦dؚ͠X2❐7fMyȂBA-a)j&uj}B3Ft@tI =ɸp?c':;97}Hj&4M0cqڿ }!n"Xnܵ̕C <ƈVsS2K)7є>_cJJc˂ YjhBϯ=/w܄^ȟ=W vG_J8C_p֧uDL +ugiL{FYe;oQ3 fڋ2<3؄8t pɻVPdكx P$ >[x}BR>.O)~un`aPP ]c/~䶤КNShh}KwH%8.kͺ n}C6n{6Ar@#&Ḑ56Hi2KnAR^0m]Ζ d jT#)5m'hHI>!#NڜfX K*?HZbeT׿XbXQ&?=GoF8(q-<0Qn::!\v ]8$$i<趸-wָPS