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 ^+ d\ ] HOL-Analysis-ex:threads=2elapsed=42.428cpu=50.660gc=0.536factor=1.197zXZִF! ]ŗXf1-q恈a.W-cFM}^ׇ/ƶ#j&7 wq6OD'rZV-ĹKy0f@uIz>l{> 'yLXk:R+~>iVXkiq:{4s4I*][x$XpH&Hruj:g-w[5:9wY[Rw`D2K5Sd!i ijjQg1 J \'Jg&|!طlEK˓58 c+G8LX,N-P w.N:r TC18,boDMuȕ8zqLb=H B@aOnjTh2,KGR%Tt~+LJ2_ȫ ݱ {Rc3#[2GQ{f&mq1~@!T)+Ѿ$8VjSG1Ͳ^ܞ礉ۻ+omBGN(]]L{U(uu"Xm$gş_13 AZU6dJ!ZLGdF"}ۈɞRM&6mӃǦ!G?}g~r* +f5y>r3*a͌J6Gy9KSͿ)Zi5Z#'']"C1^w}2O2Rx8 v}KS>(J8"ĉ(y T^ڵG ZޢAuy .; 2e1σl{~_stރH V{0Zs\epNv8٧I=j9n&_㣦rheD/1ۍZ\z̑Ͷ.f4{JʯpX%#  EcY/`CIG}0.C߷XIf赚fF!֯aY]~6pfl ODߒ% X%X"+bd5u~j4_c,y74eF=]{1=A{Ñok}Ұ/HA% oXt,]kZ/DZ݋Bo>AJmv9P>([~LahSM-1ЋW*eZk{8K $o@9r>0[q(Yi| R_ 5'G3QGs]o Z#SO%s6HѭOhOuܘ}z}8ޫ/ebބGhvd!brعd⦿)> [N\. 'W2枬M}kYߖ$iXeaUr1ᐂ}GҌZwg,e*8- gY|ժT#v_An;^v9q{g 4.Gy5(6]?.}n}&"8=JB]h{Vsf=<+!#*R|?JA)dJ5 9]7%clؤW\IT^+7 "BOE*J5F{{!? /Dg8t$$ oyEJ9-]\0~W؉d?APl5UFqš@M$Ed:ȈOn͒\ͷM?6 s+F#ҶGFĘ6>WDҒ!<--0Ժn^t&ݢ/Y4=_s%N_}@6{le@51_\dchf00o_RAwM\hA`iD[R߽QlEw