SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
qldl ]]HOL-Auth:threads=6elapsed=58.396cpu=267.256gc=10.232factor=4.587zXZ ִF ! n] ŗXf1-q恈tMm-7a 2B1:Gj͓{:#b~N'\*iP'TgUM/SȷNpoX]eLCO{\Uk+!G&%2 Y^KD褯s5YisB."!F#jt.E/. X3j2#4}U"l$V+#ԓofϢA:rr8#8֓]VyTtHPOӒL
mi^Akj
eItU`{xLl]?K"IR9A\
6`>l|c=`U=/ ,a¥~nE?:<%cͮY@|3e?lJIg ^rB" Ab;BgWsoPAK⽸P E58PťӁo֘<*Ƭ(INbcfaO%dЖE<@hg",JGc"qK
Zi˾iSw:lQ5wriXezW&
*
"Wdw'QkS 2wAـG03)wݼ# }$DL2Ml+TV S;yDHy=4Wf#[࿃I8ag$2Rq0j9HIx榢Q~gd :b«6[mwQJ#P.؞lՊ+RGhhEPחfyTp'-כ-_}⭔93ߥWeOd
ZBXSYB4D[L
iKxm t\#^Y6v8$~_[rςoHCEX MQwdLs|@v,[.P
dS9f6(5Nmi^Z v&
۠;݁C hHԥil7SHuǵPn.\B4dӅ6ȋR<7f@}79~5#!V^bETP}YFD'nH
jm>L97jF9B|ƛ7_/Y.nM6hכi5ba7c;@:ڂ.Wh30kD;z3^-]CnfeX7]KU6MOSx ~#jk&]90<_?|nZ0I+pǿUF zyi2ݲ1~yh\}CwxiA*`=ZS' 24s.Cr zES"qDZ+bԅ/s`/wPV%2-ڽ?iWvq _y2$![~v][{b"aJƛkӿvBɝ;W%HX6Ev9Z)T=B+8pP-|F2@¦8L YrR﹙ȕ
4]T!2[.-yug>sp\._y?xiJHg\v@-$ՈuydԍzjRe:#0(&rPbˇY?i*N~ݮar䰩K1W_\OS*E7{um⇩lƑQmV2
aTgҿTϵYp]2gNCc$c#+pviVh+eM+wc
23*M=(]361BѸkQ21 L}bOD
vUv*6Vf˯ g@A{?US၍hjQҏdX(Y?0m?@'kǯKdY^\i,'*2>xX#\z](6N&&74,rȃCǢ5AۣxΙ*_bNdG=!V.$l'PUFɜ 9YfIPШŬBL]y[o@"~U?}_p][.)֫Gjhֿ7A!cPb
P+OMM!7rGj=&}A4Jem0 s}-59[wfD;jt
HOL-Auth J9RslPQȊ4clg{!7,n3;T+`vsI/}s"brbaɭٖQɌ7*ktU7$wL;a~I*r]6g-[Wjc,\ ȑ[Պ&50%s)|%-$6QF))O*J.GYRܩun\ӏf5o%pL0˿QO0ƹ^Q+k