SQLite format 3 @ . Y Y Q77Atableisabelle_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, "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 ; d c]]ZF:threads=6elapsed=9.930cpu=34.228gc=2.168factor=3.457zXZ ִF ! ] ŗXf1-)9\lݺn= bŚ&3(/.G_TwؤJPˈ \7Mqә"fy.RD
T0x]1ץ!)R|Y@L>TgS@WB}2>L븹|Q;1na |#^aF1Nv2Q(ǽY.l}aGS=/6}L7xoY`5
Cк7[Z/Ǡo+_9Y7IC^Mu3L@Ik8-Q"7~[}Ջ.z9p*0cx΅qWjX3]7A*[ÇHyܭAǹo}ѝgkTJSS- wۿy >#~Uh! \ g YZ7zXZ ִF ! /D] ŗXi%6#ѪةfD\|ePsLSLΥ*pԕKJTe7zv?9#aG֔ɢ\RAk8Q?eT@Yڵ!2B4W)P|L
zW%ӕ|v(RW*#{*
ȑ<}zHeuC-
ZF 1#@z/"Ѧg³j78
:֧'PM8N;^IxxrRZ鉛E
>
Bʔ'M"-Q`EpßkbpIEpjqr2릎T5!(7.3iD)gx\Y5SCW1i Ƭaհ7FRbkZG[p30m|6+/zi'*+eff]F}E99F\QM>+>]\fnJ`
Q,^qv3 m,Q44!ۥ#:n>̉]ެ8rزQ@LX0(hjfpwVCptVcQXns{J;1xIGӞ?_qZIY4>Q-߹%/t