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 $ | wS Bernoulli:threads=2elapsed=7.740cpu=14.272gc=0.276factor=1.847zXZִF! 38]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sg *IXeB +T4t& P",w X=+*ӫA J CӖ&;,Xk# BLTS܆Y9 IlꁘVeҲr/KatW(tHfFbQâ:rGX U'MB0A vLwMߋ.qW NkѭQQ}1MIDҩ>[P* _Hc]*v|82~; yn:DN'n`]9Йj4o-G24 ~:,?'AE\4#j&wg~@Z: Ώ^E?B  ?\yZDGp.廜kWXܾYYAl,~)#EPr`h/.RpS6KXV^:1K?taDcI(qroM׈N1*c7gm?NktD@)^+^:=bi^U߭I_R -S"ynLxqBD@uؚS[{wqt8*U͋&eDz\ZboM~lHR 9}q@ ƠRCl"juQTAiQs}n DDeEԺB<Z`G}-YresmY@c5Y׸ORozBީBj*M*Jcspo+CңtrJ5. z*6uq/_6CLf|=80zM` ?dEpS೅eE xtO1q.`lOBыXC< Tǫ`pO~nxgR瘱gYZ7zXZִF! 1"{]ŗXi% "ZwT֊; sئVVUQ6nscuW1`j7"r[a C)ݿASw]qg Pd_sվCJ !H8T."m7X)&`ܰ B7Z5$y'|(kJH t '=a@*a̭m: y#_&UHFAvvKB)c_O*PpW\ܘw݀qQ1HFZ!gCRw6A^ 3|!k,} twzUunBLP 2f5/$!^HɗĘ ܗfͥ2Vײ0`rw 2 ػqvQ:9_e:_(]dRQtL(h \0em]|fHjrBA#T a2PhAɞ3w25,.-ńkP)8 $pjcO}mr0r bOZGM5~1k %]21p`:IkKJChc9SkLȵҶS!h[)fKy5z8}JΊu%.UQvA *8)xk4+8_Z\g#Dom'mbGyy{98yY-ThiwxS #p.iš}2N;t`BtF+i]$G@?T-TY^KPD$WOnl&Ȯmq7AʥSbegYZ306614ae7e125cd238a3bba7fd3fa5e2d2176f65 50fdba8e5a4fc67c2e42ed269149e778daf78aec 53c6fec8bd0ca1122e97880d460225de71ccca78 5a5e1fdaf975d1e550fdbc34edfc57f71789cded 63996b18a434731c4e83e9b8e9092ffff29a55ea b643d05d50864ba0cd5d29b7370becfbcb3726b09711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff   Bernoulli