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   ]/ ,T ]S Monomorphic_Monad:threads=2elapsed=30.781cpu=50.132gc=2.996factor=1.637zXZִF! P]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*ozk= ΖNQ<]'dR-#g-V ?wss?;j{O]$Y l9#Iga{-W*C_QpvfZ)%{P[-]nٽ-NtX<4JC0>:4̕(~%GخF[/10U1ɔGB|MN*8dm\)R>0K(OXI,Mw.OJڹ6.N[e^{0QΠ_$Z yu@DZZ)j~c YגٮÂM-ʡڮi9grD~PN!sq`# vCgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~QaP gY9ԫ^YrzHS3`PӉ9uXK&Ju5g*ÌuFbZ G5ԽI*C WK* 6 T/TT@_yI 2N>PW0NN?t) _$dsmTbXzǔj76zgYZ7zXZִF! ]ŗXi%;:;ˎi=@wEH3bvCƺou*fKZGg]0*KWT|!,AɨN+aAϫ9\[.o&wo!k?[lo+7EɥL}kY5}snV?=ˤ^gLKsvz:ȤujO;\4C+IRCnN7R'O(cxDoX:&RkhGQ0} $wPMLagc.~\Dž5)bi虮(H J6M*@x}32f언f'/L% ϐn(ko8b;. &4,*p(b-+U %ћ7<͑Ϊ |f0  dWLe'ciOS)#\0~(T6[j¸M7]pIfs/PQj-~sV47.Hg>c,t;>,pdL\>cm0jBؕ':5"'7N^to 9ȀuhQh t\e~qS=q\ͥ,ҍ%okLm-KS"NLg{'9%|r~ B|EjdcL6ʆ[oev){%H$SB%Pi 8+U!'2p3%+uu e'`+99%(F<0yI-1>u"f\՗04ODr