SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  5?$14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Ceջ)VZ$33>.jIwѹY4g%ob1ϩ,u7VB^5_Zߝߓ;Qy#Iζ8L!7?\ֹrb`'sT[3#C'>uthow(sp#MbnfTrdmbsfvR~.)J+m@2 ԋsSoJt]nt&e( l]TOA.  rX71s*׹-"AZ8kCL|*q ? HOL-Computational_Algebra.{.L5ms#D~v+];W tt=O+xktkͮRx(Ɩl*;dѽ~ =\̫W'Ex+M7(jͳWh3USeeP{$7@g4S[%S͈d{&o|LsmS#q_tgkM  4YMrnMm fV5k_MIҷ=b@J[K6G΃1?vZ:Bzd|rqژ b {%<2Ğ lywUZ$~+ #%щB2ScC<˼p! 2-+/VܸHgʰ 0F"=hGks097kcHwYcXbzG(Y1@ &c=BԱscAz]=SSh\B3RKDa2ˆg CYݠ*GREw>#v0l,KdR%eWM/(![s30dѻgت$?m0k#!htUx'ѽ%ZO;عM7mc30P s}ZQ?oEeK*9HN]G2JJÄ?ZFu5ve͑u ǤǏ(.}vwE hzܭ/JK}J1y|jXjUTOii\vHFqK[)nu#/Ȃ4=rL5νۡϷX|Q&%0≮஗,Jy62XMB%RՃ|sVN[WnX):Jwq}ǵ?[FNOPURDB0tnj:!4T&DLA!h tjp; y0ό J_7[" (6ھKaM$) ƏCr &Sߢ *IبGp9u3ݪZj_!Ya ڢή5!5R+3T@}?H1H5+t _xeؖr[u9ϼ Ҩ9Dͮi%0Co!2^YtbрΨI/>jT}fa הKH^AgeJ暳; 'WM9Q36bQFDMaiÇkчG""+fPUEW_ޭٹjS=x薫yTxIq"0@ 5o~uِA9XItdؿ%a Xeޞ4~EA Rۼ/TUn0EvU$ f-?: Y1Q$FG5IžE!<ĎNK ,n/X[@^?cI'J:`^0{PKO^֠:l&޷CULzEP i둴0DЋ:f@F7=U|7R%=(ӑ~<<_S8岱-,j0n{_Xe|Eܖ_7׀ z@v( cM'&JF`֎ ˖,<;2\ve!ѽD?Qi?s?Y-? nՕ:*Kd+еz*nFҠi@՝b Lk.XBPs Bq<"ǧi*F9'ezI:I,[*#87d f-T~BNN&돍ᑿ& Y };?Ϝ e7DJ頜ʔZXXEh@7A*woB]˽AjqI P%:uM愲 DžX 㚫a yW0`g\_%V֠w;컻bCcP,GR+5<{ٛΑZM`=I&5g(EP_@UHF%ch][}_-4 ;8GX\xlԷݕ DNR j هEŸAG7Y* Z%V?.$AFNq-pBDVҗmةe|wTiA/|s=f~}Q3\\) 0~f]xdD`u1M./>YYeJ W9:쐠Cʘvp = S_yf8}N>#}Z%Ni%bfѥ'NPe.x@L+,:G*(HSRFbQ'nYo.xL3.E &vNFxk4B_3:Ԥ+Am!M{ׂyw@/ gVZḙLr=( Ų.1/^`)NR R.Ɠij'tˢ (9 BnD\$l@rVdudHAYٰeW7|gOnY gU*Eϋ}+Z:/l<57.ڵDuf~no8:F9i f7Nǖď.ӸϠy-+gi$u싈%IӉKUAsoOY*& Q>g5 8SUEŴ`:$M./ =ıe^gYZb9502d37e5da5dc8133216bb1656b0d827143c621667ce1fcb30adc5ce6fcdb5feb10204550c27ec e9aae1d42c4adf660df67523aa6bdbf83e56d019 f1d068c99c2f76c530db5071deed5b4eaab1d8f03986d1ab32630c2a041f5b03a505055cb1563f32