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 ]/ Card_Multisets:threads=2elapsed=10.729cpu=19.344gc=0.860factor=1.807zXZִF! 0]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟drE$\/*2DYAΞlx+hur'kv5n??Ʊ `nR!!Q,-Q,oّjgqd̈́2WyJ%tIi-)Qй oVľh ]qH%n S5[MijW24|&)  mZmKUOkrk;HF>+ ҄T XdN_+ ?KhܬstniPȽ`ցX̒mxgYZ7zXZִF! z]ŗXiɟ1˦rYsxgp9f閷VO-Jp4D ml'ʀ5Iep ֏{4զ46 %tkW3DSڃ pZr#! 'gYZ7zXZִF! ?B]ŗXi%;cgOMo^Suj?g0Ib @g)&*`haQ.ԝ=j|aPrۚȧAc ->7 `*;N>=dީTU^ApPC1NU_>rڬ@W9_j-¦GeOl6g?$T *،]yPXG:[mQ( DKgjU:"e\8@!0ǜVx n zH뿇]Bɀw!*huvC!;@!K?EU/^=rx(:Vl?Ón.di|]+SZ.l?N20lW̦sG(BQ4ba/vOTė|$}9$+VЁJEȽ$l1I|A'S?mT s@IxߌTЇe4 ҹk.~Ȫb(_}D1n^0ޗR˜/y Ÿ,1S*LXPoH3SoXiDFM9ˣoy q2J&Nss.0 ˞F iEpUp%D=e]٩=,jU,)kDŃHVXIPF:v{BvuO5'JEhʌ*1odܼW>FU ԉH9U0f1^bmGȋ>&ܒǧn~tzdgYZ022e8751fad92215a7c6b9e050cdf096c60b327c79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef ) Card_Multisets