SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 33>+ tT + HOL-Hahn_Banach:threads=2elapsed=5.395cpu=10.312gc=0.296factor=1.917zXZִF! *]ŗXf1-q% w \4QǼ^%fE0AgfV\yJފ'} [ G>eDGZWpv<:N.8U9XUs`;5'4zorqbD9yBfU-0~7E?+`EuǶzn]F.l+'2@`uQ6)Wt-魚ԉ?c>ӺDjfu1aɌk|$Zh.YKC#&u#- + HOL-Hahn_Banachvt)d%(~_4|`QS 0E'g"mωkNJB(z/饼^S&@R^Rn*\w' |b%0ZdtN. ^*&=ۏFG\UTm،}a N8=r1&v'(+^fKys|_Yے۰5_%0 #oo*i^ͮGk^`KHK8=~(L%{Cw5$>-K3$z-|NT)l vi+Km_p?fr^}zxH9ԶطDyL Hj4AD{;-amzs+~J;a4B.l| sF O;ac1ƣ )Yz}/@R 1uh3SOlx}P66!J* gYZ1056ae38f6fb0dba786d92087d6c898a3cab8b5b 1fac670295d8d00bf309e4e625e77654a76176cf 391487ee4b031686a4d99d4d12cba9a269f2fd07 50c58d16a152728eefc0b69a4653a2161dc09e75 6fecd76a994d840cb600ddf6fd6d28a1c64e7394 81e0df68b736d3920bc374db15982283c8f02cdb 83bab2beffbf4ee896db7b96b805256be37ce7d7 982ca8168bb4e8ce61f4e8483f3957ba567b6bbb a22c745b98f17c67580b11d999e0fdab40574786 a6c7bd12a516b1b524b6be77e1594789f2b4dd86 b631e23bb03424d49e1b2efbc9665518164053ad b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec c1486f73e51f6ecc1a9a3f0f929cf903dd647a3a c33aa91be9218d9708ae860341b6d5389961103b cb6567777c626bb2dda43b488ad022e4266a7922 d197f05538956a2f8a253ced34db1635ff8c081ed38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5 e24109e0d9c7cf3926160913997f98ae050cec83