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  i=d\ w Tail_Recursive_Functions:threads=2elapsed=4.905cpu=8.484gc=0.348factor=1.737zXZִF! +]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+B ޟ:Ӵt35 Wњ%_F¢3CONm!R@:P\r5ڠtX< ̻qntՄ̸#r^\"T֫ɎL'&*?dr-t;9zs%yaWs/_aqVPHz/hĭ>|%ыڇ|W ÈIt߭)x}hŬmıgYZ7zXZִF! # ]ŗXi%6{h~Y"a"7z#vOfө!=W/xȦUSC/ /p_RX5ˉʔe}QJ=r1mU Q2 *j)[D~=t}&v$Eu{?%rg`Xe stUo[od*Tz-!gqsQE&(ɮukU ƩrfEߗYO`mO:x~M Azp<*i?%紈"ö h^ Z%B"m~GHj0b$"bBeK>{}+sbI)Z a {=d8i)M_j3o'xʔhlM]l'BIvNyDK)0F][2XE4op$SSD_,=v8hgQuz.D-h9˩4̨L] IׯgF-A ogYZ1245648bd16bfbe5af64c8db8ee25c5637bde7c4 482081933c65411080eeb8dce3c87e1fed9e7f2f 65179a47791e3e1ccd9b9b271602460cafb0221f 7284de7108cc21216686417c9c894a2419534c28 d82eb56a1238e5e03c7df3267c7b3855ddc4df11 efff4aee245ec79abd34cf37075c419562228046238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef = Tail_Recursive_Functions