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 9 D\t ]/ Locally-Nameless-Sigma:threads=2elapsed=40.583cpu=67.892gc=2.460factor=1.677zXZִF! !Y]ŗXf1-/6vRZBh S,Xf³@2AdXCϦr v0xçm_Dgme"AQ<4H1cK,RqI?C[ҞϼNncj;sXݢ)<)G ~!8N3 Þc0uɖWlT+mbXTȃ )ϡa$l+Nye9pƥV6j⥫z]3uH5Do=FGC̕1J ƮRVu;1(fzL R=c߸ڃ1w2Cf* /S. i?Wf9aT?XR 9 Locally-Nameless-Sigma^Hlk1d,+a\CyS&c47C@={6Ή67 T 8[/yRU0^De0^vLww">NE+b>R KŰوE9==IMM/]x ٭@6Dy+Q7mL\N1yaU :0-5ΊEQt4̏ {)Fx+< 16_qET'"w7h`z}Q^tDU?c^IR&-!ӰU>liۍΞ$ _E["ymgYZ7zXZִF! ֶ 1]ŗXi%ή++ q*T.|$25A#/P T膔D9'̊sٶeᚲzBg`O  lW9$L,d̬\$>?г "=GޓÆ_ZP++2֋ 3I4vH*Ill|L1RilCU ґ`?6keGc-c =bݦ#K[nRE!nu/ڌl Ru 62Nqna,|*C%KSZϵߩE4`= j(4@6XEF '@}o)ݘOESL#OsR0V6nHU,i@z/TJqCuᖤ2Cq11 X nݮYwGc r|65/}iE-fСOj^W%_U|9lzӧ9/)VLm2V޽4LRG2ǜ^O3 zL/<+/_Oo(鄳#%K Tl?vN؛K&kgYZf85860accda5ec2d07757ac36a792e0c5233b94600b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02