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 f 4L O HOLCF-ex:threads=2elapsed=13.815cpu=27.496gc=1.092factor=1.997zXZִF! z S]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`T>0 \qjP\CF` *礍WaO 0`iP,OqL=+0 -b:O@e*?=8W TpLToII!%!nv9S5R-/cmTw|\mr DmXpgj -Uu_ xYǯn{ͱ0kem)#mZTJeCRkEar9o΅CzAnY4qUYYE]WQ?dpּ"L+,1NdwlQb@S_  c[)-C [QW,z ~Щ-q>*^@*2-Y{&NY:9s"i5gʄ*Fف]rMt̠[{U4[u k"@uf0 'a9£6Y= %NWD[&禕XYc͖-q'K욥:[^aTa:Eg{BV *8'yO8oɷ#AP8uQOUe:K0kFܛ[a OϨ1|{^|- *D.2{BLs-БK3Wch@L=WuVE=Q+ZW^~$z$UU%v^M =\d[YH[0' V,b=B8>((f8T{|s}Jps"'nB@W VT8,foю&ca>#N'⒳ҾD)rt_S3dd4{6Py0:՜1PqM8Ml΀@t5H:]WPqtibݲS$kV}X;.r3AĈ3ȖbMeGgښmOD|)ѝFu||DSL:k)d>y(MVKd-2w_QFRǮ߅R\e5_W \n t чP\hgfH#M(q gS i+[_eC " spH>hbFN_\P!d +Q Js=VM0$5׻!1,#k3HU0 ngMoT>g> tȼx,zU9~ ,c.:A UW/cYM5Ǯs=hAŽ2% j6V2dpi.~vi m2u^UX2P @#-=-n7'%Ż̉hÖǔJ?2:ir딃cX^uONv:p0gYZ7zXZִF! ?x]]ŗXi%CkFV8Vioҥ&C-J9n{cԨY]R@L IO.9 Y\Jr;v=d#L(OF!k 7v"d2x-VV]6~ܔ1SXT%_?Fҏ ?+HHt`9y\u%#,c+/0.tdiqdzWk2_W Ze?8n5M\VԨ2ݦ K ti+9[, *@R;"ESd}6J|,qmWx86z Hᾭ@_~˹dgYZ01ad330ba00b3975919c3a49fbb7a2fd1f1fcda7 08579f6b90caa4ecef3dc4866fc245fd84f7c1d1 10fd440961a468374c626744451888997f31c65b 122f8e6d09550bea029ccb1b6e839f533d6f19c6 3c54ad37ad617dc2d861de2dab681f402c864327 68bd26874ba31f2499644d55df21046545285291 6b60fa0f5810516fe9e99e420243a974afaba0fd 6bdc50fd990cb128cf7adb75599e666248f91b21 80dcfca725ace97cead5e39d08245c26e7ed5a75 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 8e7a31346380d165363a6100f12d0ca8189408bf b93df0a10ead4c342235da5986353a7d12307920 c110105a951c4b5024941ec2a936350c947ebaca ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 e16dd81c25115952353dc50e98ef8842c8109688 ea07fbeffcb1368ab04358e4a6792a15022e958f f7d7695b21718df39e8a80a5c0e149dd8fdcff3e8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed 645174f4cff6174b9ce6ceffc99373d5441e2d5a