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 __ T4 / FLP:threads=2elapsed=21.074cpu=38.880gc=1.304factor=1.847zXZִF! m]ŗXf1-/6vRZlh[j^iWrYWrWzN{\V#%G&_ 躖7A⸬!]Q8Eı+(1;!(m Z3p_vcZw OQliKbcӝ^KU?[LZu)Y;8k;߂\K|]XBIU4! P\ͤICmXZM_TqL<6mEѨkGɳM~n\wC lNJ6R٫rv$g jWbvgT,IueW@2m<'3-t-SB~SdQTP22 T!*8:WTn}B6Ъ JkO K8\FTftwY'EPDmpO[Ao)G^8Z9"T URjÔh*y?oI-袤k$Wqbw;1v ajC&CgYǦ(k.@@\?Ȝ.7AD32>FoVCwTv2, lD-&LyN#]V\@ϧlt7=w9r(ΚNa+!W"'/aX?94M+lsfjZhXlNҮ`yhður+5찃jN IJU )hJ%9@FkߙB+Nw88οx0)(uՂMn.bUY7 d 2)Q, )TGe5GA~0u,>ϐ.t~ her$+8W^vAzv|{wgIrÏFȕԠԬx[tcPy l ARp-cYIId+jt򯣋NQnGtA_M^U$=ZF39yYi\}1ua3QA"{ZrjzY_V0itM:"e;)AlZ=#0w! Y6&o!Ƹb}eM=ػj0(0ne!-+Li@VR"⦪K--!0ٳ\/]ʝJ 3,BgYZ4065d2aa3852da8346a8e9f08d4ee6bec36e5bbb 48898eb19b7b309c9f15050a07b005bb4abaa949 500cd027f56a73662d6c310098f0bbc412b98778 52fdd0533a1e8127c275526467ec1ca77bb32625 7e0839b7baa11f1327c6a71e15183112f5367054 85ccf0c30a622a6d4e6386ec4544b9a5eb44ee9d 8c245ab35dc7da7353f5d3e16d37288c705783a6 bec3626a0f107fd180d5aee975463ace813319e7 c71679b10f7c0826b882ee457fb938fa7667f354 f370ed826c66d9202230b90abbe32ce8b424df71 fc21a0490abfedd12b945af7b576af211157aaa8238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c  FLP