SQLite format 3@ . YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ) D\ 5% Jordan_Hoelder:threads=2elapsed=19.555cpu=35.424gc=1.348factor=1.817zXZִF! []ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃3 /`[Ҳw}Q]V{!,ynW v.ݫZ(sx] ErEl6R…N, w+US^[5ygt\#K3ƘRk/vpzK54#U[B>A}j͎r)5m^SAiKVkKnyu#.gYZ7zXZִF! gM]ŗXi%6\J)AĥEAt:1wvj־ WDLKo7ը_vP4wQ=c،` %4ñX5*`Ѻ0}2Y&W1\0y]-ɴY ^7zr3+鵸L ,INOUsP5\]cőQCWYJXNf:]J.ʲC*33$:dS1ԉWaqr/3;Hd?b&fmǏAjPm !%F6cl*d;+ыSnhpk8ݩ{ U'0o|\r`[Q< u@] tZ 2 Svk65 ~ D %qX BV̖dlؖZl3JO Z#d"U.؏v'ԗmřL>Ԧ?j 0lv,KM^׵(dj"eAq# 8JKA'J,J ܞ<SJfTPܯ>;iau#>.+0S mVr]3ӅjۿTe>^ݧ2bnܑ}-FY!{/DanT{8W΂=! &z/Ζgx=U{?gbR E)z%XH_5hlRSᚩȫ vBo7dv'k|ȹ=|,tPIdz01ۀn][cy^`ҥXJL~Ex۟AVD`0T.!2hT~9zՅ6F=Y'PÐD+hPj2TFFcZ's yPG q{qLJlV]K';Z-F4Q&mo5r{:G+ }7nۯk[mm??Xwvӊ$`%6sϖvD2R$q/]?>!QOk~}g|׿U9.|]2ZygNxDKv2SY?%.U+VPQ>{y ɌLC@˿b׷wم-]ޢSJ_`^CFKo|yHd*K<:!q".|L$]]`W! RB5$w. -Z4Qn+kPY0kCjpn [dD/_phyg8` 8n`Iqrv)J}w.-ي+9ʇ/| @ʬHfsFfcQ ,|