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 e=Ll w Tail_Recursive_Functions:threads=2elapsed=4.410cpu=8.416gc=0.388factor=1.917zXZִF! ]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+3UPOՈZ oF=it6v>6cf'ANijsVu<<+tFj@TA׆7񴋯֥̰e JN2S03ظQxwı2dᄬ#~MvF+,1cz\VS0Զ5ןϗ*?rf"O{%ߏ=h|?R w4\Q3?atWևe "C#</Ii\"?yI ~5&̐#Z~iS~4z{Ƈs&r+! z U D殳潔Ե1TC'yOrr^#׎+yn=dtd`XLlgΠYIW=jAԗ /npmu(ng( %M=eقZ`F0dFA鰄\am3nC=4 &oi\[vb2FywƊ[djEmrݦސh"=T/Ө#q'?MxZoߙ];JýZݹ@D5?Q1'DhZ&l#ſ~/x!Z}kiO=7똥(xק|y(r|-n-2. qe `yV:$|)T#⩊Fmi jFiNFSI ;JϢO6jyqwUq"i6E#%;[8KYwD>bY7DŽs=N>BXnL JQze'ըPewRcE N+\-0ԘlAw;Ũ\i;3!1D+8}/䱂{Bl@.@7Sg%[`y˳KgaLp/N K9fJûV!ٰ]e $W YY񪑫)or)51k[_/Ε!c[bSruaeUn |! 3`T<G!gYZ482081933c65411080eeb8dce3c87e1fed9e7f2f 7284de7108cc21216686417c9c894a2419534c28 bca9497c07ee6e8063469840c42e6880fd3d4705 d82eb56a1238e5e03c7df3267c7b3855ddc4df11 ec0e142c5493a009ca2ee8a268ec69ead48e8128 efff4aee245ec79abd34cf37075c419562228046c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da = Tail_Recursive_Functions