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 jjs \l )/]HOLCF:threads=6elapsed=16.246cpu=38.456gc=2.192factor=2.377zXZִF! ae]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/ZFb8l Q^lOplDjűdV 0r#1omqm#JAδP=PPKsXč0oTWR ^Ml pYڵԟ bhA|}<&}A5pCy)?_r[&u wpe  HOLCF){Tk;Rsm4&9u4%+/Z|zp^Y9)h5U@I 6]AnGpLw~h1GsB Xt m `M!d/@z8`n7%vKV\,!brIA4nbʉ(`vYSyʚ5q+ /h ]T=α9ёD=!yh %(kft$;An "c8.\@:?A~-Lؕ2a[U[ f\}FغCܣffnj2Dk킟d#u|XHauڛO9!3-2*n1 mAw~^ϿivP|oe'*_"`1VؤN1cݒ<"vƐC>eJx;\(n$n+T9B!pM(ԖYpFX:Ϛ$#<_פU~a(ȅBWcN kaX[8}獳rWSsyTw_~|?%阾V"[¸g^O`5,v0t=PC.Ru!eO%6BBKE6q  [sH\mgQAg8n%Srv6c53f:.a@6lȽpiR; [1'r*t0}HƟs4]ꔄ)_Q(eãA\p Sp;/n:xG!n_ElY E-QJ4~i7%?~:㿨"G2GY7dx4}J86,Ƴ{WvWOP{ k@-gהZŰe:C_(+pNkbc |69W&9ҳF?64gw#$/YHS' 15+n>R/EK}A~`?#&cXez>?K][[րY J$9s%H`X<(x!%)me/F5UF ѿzE'xxwo%I=:=AMB$=% VVC 5L6ܒ.rjW%r{{/*!aEd;r)f!TNۏcs_B 셻=ܣH f)!wA~fhAXs}}؋O??aՄ eͭކ$qhSqxR{_u _NmG8-z3-DH<2 oÖ3 mzsA@sf+udoyzH !` ҹL4aSoJyBp'sbP N4O0+7^ ,hWK0zėGw r˟E}`T? +IQɥP}-L@à78mG vBJ@%4N/BES?>o'pYOB_W͖iIxfܟ_)2V9Z*1haFFa> u l!5Xx؉\&A ^&1UHvPrޏ PmQ5u~ 5Bk]ʢ.ca!tiENèj.8B?w*N|0k&Ǒ%1Z[ϊ TWHBG<{p?:]Y?ϵ_yM9MakƆP]8xc.|Bd>~UQ,|v-U"#۞uo񔒓޴QKNZSa~&-7M#{|CO2 ٬IĀmnNA RA6S2h}3GLY-qJSZAy][ƾ`H酳Tt ez5< @h-gJOc 3X.a-u[# (vz `dgYZ7zXZִF! M]ŗXi% 1ܷ '|%GeZPkg%L:)8Mݳ"5XN&Q$ZU-M*28zpQ@0·w6}5zӯ`lK^_U2W5SN""HQ8B-h(xO!?Azx$d9ה/AxoUd-:pY(tx2B~`ݹhaYEu[\.&mNNB֔q԰jIshſ䚅 Dy&i\,1 ȬMm ŧ)%D"瑽Bǁg"(Iu3kAey"WJIhWq/r`.VDqOCb:#)l=3f4cꅛW:d~E"1a G@Ph{GK60ِ/ &FG.΂(,̙榺4:ݩBfJ _yT`)w%hIf"Y>` yWy3?ȴXV7,xIĕg @H>mE"1'Vi 偎#L9s:Y}lAY As}EnnZW(USB7΋Ͼ>[ -R ?m-.7ir z\48V7>C+d's6ZFMT)hj[m@3,Ot^UP^Y}d R.`pTE.):Y8BKAOV%-74{~gW!:jv- _C*rB{ol r$.3%\Cb]5" Rl`~ܞu7?^..MPX5o WmoWV -'d>C}Q.%D>;~0>:8B|cDq5Cp.$YhO?.[%mYga(q#:5]8vwl;KUL285HO5^C$6eTF`3N-j vР*%`ɦ} 3禅iH+MҦt Q+@"<y%Y9*n<`BqM\hM_]ذaET~#xq2ow.wzoc5jvٟӅR̔1:$Vw}^, UiF: