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   q?T4 ]]HOL-Computational_Algebra:threads=6elapsed=39.416cpu=116.612gc=4.776factor=2.967zXZִF! /]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p!{ Qb\] ]Wϳö>ґ_O\7[O)Qo F3Hl$ zN&߮zNuSW [Fr%^"k̒Ҩ_+Sv3,Oo#jE _h~W_' .3ޥAaxj4 b03ʃ ʪg0îk@A 8HQ51 ߥjvr 3ߍ߭{nu$!V6'khOU@Nj'(/q>0䊖뭖-cVI P8]L{cn!M wVm!{]o֟1b$$α_*<E ? cW)ٷJq~c3I*@&_c FSllyb̶w߁@B*/4r=pCK1j}d MfE 炭!q~ `PKҌNv3mt ?:q$8,3T3(ycZM;+:sMCZ5Ct(X| :"h&ؑD}47Q!b4I\Cڏo65h89sa _Xa}|:b<(U$~CZ~׋}YɺHT5rܧX%,ψ:W6)!ε6whK+RMYHyj;.@ޅf Dij,=*%bNl|!dUVߚȭ㊧q`He*LI;S4|Aφq_|] @Й~xB* H0ZPZ.8de؊s"[h LsKG f2̄|5uߗ _ ױgYZ7zXZִF! ]ŗXiɟ13%d.1=LE%֨bmA}0 |9qU3Zw-3,C@bɱԛ\;{y )Cʤqf.h :J QU\1]Us#4 ӥ7ߘeE/NĈ8JAg|->/ZRjKM0ۍkBgjlY0iy+cQ_o m?nh*/*3*cUI'O[up" 9YwC+JZ:r6YIQӿN w4=H1 v춰a0Mjc+E;/n2ltܲt[ΓMTg:%,0~uz5%h|:P'IYgϲC "WiTp/UJ%Sڎ4ᇑ ! YE`3W}Z l-9elfv37SQq;?YޒH/Ue}}1mFKQa:,a5Kǜ`frv?[*YW vN|t!e\9[ǥ%f(d<_G>ٕ8j8)63F'9]sRhF2omHY5 IW W^V{޳Mg 边\weC6s|L*xuYEt~P(;; qr Mq vZ#/yeMjv]yb@\[GfHNli4[pW:uQH6Hx%Qʴ^Mr5rvRLJq4JzX ҃qD km;DžUe5|j#'fgDq80`hB&(K]2H0?{V֓s!kwD!٨wGü' xK/ڡW5ׅC1q|J|}#]F7]?flΘ`hy-k 8$󀟧NA ;DsWkoyv g:J+>C|.at$C ysT`BhNsʛyoܘnrIcgĞ-}(1Ff24݋Q}Mo8,_NoJ82_a^k+hMsf8WF̿Mik&,f4xW &<|29xl@X4`9d, ih#;?K2Zo:DԣȧRF7:H&Zsmߤ;pk;ˆZ-uv8.'`|neGk.?<{B]PXϖbPAC?쒈.ڴ`~oNdUb$ė c+K_9L:!8).g91_HW rε \辵`ovUV),&H"i#YuECTb3f:K@%` ˼>\+