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  k=T ] Tail_Recursive_Functions:threads=2elapsed=4.753cpu=8.172gc=0.328factor=1.727zXZִF! "]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+B ޟ:Ӵt35 Wњ,{F¢0a<ZNc.L7Li|&NoU"#O+ZV`B$f_X9ɹbj=A 0) }7*/r"PWW\7`h\^J- ӾIXJ3AC9U.rѝQ%j=0BJ 1/9z~99BgYZ7zXZִF! ]ŗXi%6f:I@?g,;>MzߒQt$%I}bXvdЌӴowĩ7J|yu-/)9U|Fvʽ0W:p'Ma;_zj\ E*WW׺a)I HUBά@7c|XWEL)/s&=. YA󜂾x!1q^@6PA ¥;ɌIӎ)f`pl~{,uEb~Xda!g-1|"nEG~HM-Sf6/G] ͠Ap\ME=29f!"r6ޝ/齊j}=b%D^sY7ZA)PGO<~yƁEOVq" z# h~ 衁7dHvB}V*19q@HʦW&;s L; `5:6m 'iEZ#LKBp,IH~| owCGiV@YE\qt"ײm8S쐢 1Ao _kv#97I+F6׾:ԫA޽5gYZa68bc720c425c581e1b077265e7f889bf5c28f8a0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 = Tail_Recursive_Functions