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 ii $\ ]S Show:threads=2elapsed=20.585cpu=39.092gc=2.220factor=1.907zXZִF!  ]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF\-3R4!"S!cbW ~V $@y|ͽxEsh ݠʄwD}sot,j,-G_ʈ5)7um:z^RZ{:Ww % l5l|y n NExԧ9s@&q#!Xrj;|L3\>̠B\ho{0:B5GQۋmNGte8w;!B=|}-gYZ7zXZִF! e6]ŗXi%9#qq3DڪdH/hXl|lW/v-]qoN|7f \״ ob79I}`iy8RmM==dީTU^p&,Xߺ9[8/}A_ԝAO=xJ/@5ȟ'q zԹL,^>,t? ϰ$YNk@yeIw]8"RBMAvWRu5@!73O!X21{?8!r8V˳z^ǟ7#_AT nxcGQIi_z8qZDw^_((K;ϒ!rT1)%·fHI+*T!\lM+w5ޓji$|Ԫk({\(9XF-[g݅W&1 Ɣh6{L.EsHں5KSl؃_ٝ,:춯8#ƽ1Ѻq׏j:ᪧp!PSxw:B^G9W.xIpF$jvKVOrh |C]pd޲gn$n='/S`!'{$ⶨ'(e~S3W57ԠEU..# \\n?zƉR[%4% hMAA0¿<4`;y{?<w(ڰZ4~y3*mPh,o8)#EUuR4ӝG/I^#[hUQ9_s}L Fꢙo|䠐˕6f!< 6R3+J:v׺*v&hqBAUÇIIP0ijT "`F%`Ix*o+D=5+1m!gs;om{*]\/tQ7]ҢN3ʳLյ`K-q..͉?~:hJĵw1DX޻p")ObܬQPOVQ;R\ >q{ E}D6 [_3JES