SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info U L$ E Tycon:threads=2elapsed=9.732cpu=17.968gc=0.676factor=1.857zXZִF!  Tycon U]]ŗXf1-/6vR[l>eMx?/᣶ކXKvCt:_3?pi v4٥[1[k1 ^^D\\ot'׿G&m1=uM'"6gVgJw4AZgwVe|X}eR1e])"\ Љb? {9]z +Y:u]M^/GfE-h>=w{Uf+KTl**@K;w/TMC VSX+RdsneM{+s 7.ȍsOB|/c{@ <`>?Tݹ3 y\7֤a*M5me&׿$pS1m>j' CJ_rj_Ʀ`@Ysaf0 AH˃4G~Shy(`yU,)nT@»X cЍMدiiT:]$! pC{ A2SC$.-H iRU~2P@sfCZ&]x6m鸽LOPbE4(oY@z@/ouOЪb,AFy__+*O_Cq~Wa f9jy1C& J7>K,6ϟvf2>VVliRq)Z-&QA*M:PwvJvΨX̶2nvZ'ɸDN1wl]+LfR>_cf6E-qz%EN q1WikFs2cKz̕29  j7i,R Zm@@3 cp Hws}0w=ZcJJ.\O}iԄ[le5C#hda3/1!V Jq9qi؈p)'`F"5uFXq:P*L>nG!OTqM$tk;k\v5a)&لݩRV_xC4߷_fe T" ʓ*>U%z3fb_õ>8GtN,.폦^nݨ{FRyNR 9t$"UYѯƓb{&:('>8,x4_y'RŠCNʕq