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  - dD c Lambda_Free_RPOs:threads=2elapsed=19.766cpu=35.196gc=1.388factor=1.787zXZִF! ]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:)E(J0|%3X{6m`YԪnO,!TξK:~.`.1&09Davs0H_oAڹnk.5^X~35-xŒ57mBxʶ sV}՝KIvP5,xMLb{Qa$&l4TrV6򒤷`CUTt@`+vt&v9ApgPz&e#Dyc(+Lĺ{1<|A+Y0U*3*h`Ok2NV(wkўH@X+}'kW:ndH -62y93\=`?QEhItF9Ʇb&@ ɷ]f쑂'oȨ0 ̹,+q/tKm_f%G_G\غZRU3sB6ttS3M /쵭bt[z"fBzW+dM:  - Lambda_Free_RPOsfŵ8\1vNa &CIHaG!$ f` %Fm>*:ϟemZ%9:=ӕQ'P8fه/Z9CN=xc0cX*12bLc9 oh_~XEIRe-7='m76aYRRjVrw7 3hK*!_OC㧧vC]}{<|GL*Rᦪ>ש]8 c\̻͸{*_U "orrY'W-F_8F՘z ӊ ^X!$`vlǽ 2v+)ii o,&VLwz  7ػ1.ިšpW`w=]2eBi u^!<+q}qy Xjѓw]yLYE1J7| z(LL}ȼka4h5Du']ۖ[?oj8M[ڬ'7(?obM\ T%jk+n*L`g+XZZ`f(OqY57nPiP0Kwmfy&HjQA _f1M}~I)ϳDOqt^d4|O/:o&g缾dJqu)*xL "ot:̯N f^T^b#PٝuA)>D ,Z 56Hsa|Lʋc2T߈V=2Lht. 3_ƟAx&h['޺}j '\rb\ 3ğ;"˼g6%fJd6Y0s0$+=j^=rklǛliCbc]X+aelyYt_3bOC;oc@Yp{;̌5ŀ{βtS4eA6=?Jtt.!5`:ߧwۉVOmZ^RE2$ CEmϴ{x%] -ͣJiybekT PR@2ͥfd[}?Wpǘ)`VAP$m@r0 U͂8uS9._KnrUQaDb^Nph1,3IpqI2CSe FTlts¨g[?*KfJ仞ηSQwfIczϽ5?@`ZCw} yÒT%ω%#o(CL1:+00+ذp>q䋈JT1xm|, Rɴ' b0$= )WHs8v¶RX *\t|x&}cv)COm~5RDTΉaB)h~eTrĈ7+іyutq:.\Sj[qzj),1N 4 H=ÿnX˜ @7aUU }CgYZ147ef2da4898fd7abebef0d9c6fa4e69cfbbe650 1510cfe471334e7a74320669945e2a75245721df 1fdbedad69e7304f0c14df92e53f8429c47faaa3 20fcb830b82ca4396c7e8704f97b2c4ef8fe6d2b 47b7a5fe12e0a6da3789fac4e79561006dcbd253 577af747421743018e6d9c79fbcbec9a1ff2305e 5f5e53ac73873d20e2adbf647127b736406425b2 73ba0ed3ea2540211a0a25d3a33ba20c0b635cce 73c669b52ed7f24685c6fd2706ca64b83cdbb042 b6973840ec5c79bd127f8e42932f3ad3309018bc d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727ac7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e