SQLite format 3@ .  YYQ77Atableisabelle_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, "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 m dt S/ AVL-Trees:threads=2elapsed=19.557cpu=37.096gc=0.836factor=1.907zXZִF! *]ŗXf1-/6vRZ\2_:oFEQUUo2ɸzZVTUW\?l,--1@Z0M@4 v!,qÍyaN }f/T/!OQvޤv/p(!A#y ^^&VC '7"xRfBBZtJ}![6[%XڕTv8V=LPHAYk#Q Yz/NPǝ5)ȏѭt|`FYR*gZeIfo:}2.;%D!29DU `9oHӿw*)f3 ڿKz [no㱵_e2gz &sƸ>@ldvcyR5DgSۈcQm,V;[Ǟ|4 nt ;.eʒ&$`Ԑ\c}ByРкHٟN|Tg) r#k|;Wl¼ManF[GYH-0pKj&p:GgYZ7zXZִF! bt]ŗXi%6˻h3KǖH9=usf>q`mJ?6){tT֑GI/ujZiE(NhWf,L0¼\aV866Npn-uLҬJO 0Sߐ"Q植*}QIBk–,t~g|w 8l*+M/ũ#ifr=aO+\vRo 2KT?4o1G_u!,{` SmSw@3/ F;񬣂AOY8гhT(8qtAKAk}ګ'TM5uB/ƍ˯.w%`|9`XvIu$y_@x~tF@=bDX@ p H׋zp備9J1/•O)]dHӟ,WmFC|^9(7s#R%3SBwrԳ@w{kp9Fk.we3!d1yZ#3wYeR}&-لp{b }Nb ==*bl>[r_ݯl !|ef#ml(GDmpᏺæ9ZԝL(i\-cpw_jӢt/;1_ap[.\ྜ !*.{(dH%hp! q\9=^QH-+vv}!