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/L, / HOL-Types_To_Sets:threads=2elapsed=1.163cpu=1.868gc=0.000factor=1.617zXZִF! ^]ŗXf1-q恈'+]&e}0mz_V;vfbvaKˡ?n ,k i"F5eϤ_](RY  ]/!`ξUѠ45F.0V2{jXY_^09- 7j2dt|(/$sB.6|jYr / HOL-Types_To_Sets(T3%zRWiB7/VG@IRH8Wuzrp-3q A'w8n RKF,M 'yk~x][2*gYZ7zXZִF! ]ŗXi%Cߗa<#^nx&K(҃%[GV a7BKrϱ2 7@wFP`ڗ4b/ ~3۟j`rJ @=z:8+\_t>lGg(/υ^*SUq6%uVɁWt_n9,SqjÞK zgKؘx N< )z.^>.D =jLQ[r_M.dhק8Ic4n/@D=ykoܥM| 0+EV2C-,_=eHjb{ O7ݴ  9 dl}A TBh-e5 LóG 0sM0/gYZ329fa7e8f61a08ff01e37f2938689d344ed0f5cf 3d25c66814292285c616395bfb17b2d602aed3b5 496d8277a7f2716fa08668c3e7ecddfad8ebb95e 797477902c2504b4a2e2a1dc7c289a6d4971d165 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 e14af5b9076a9f726d4bab9022de27f313a84125 f82d3b244f15f3b4829fd75e899ab0647ef25bb5014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa