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 LL1- t ] HOL-SET_Protocol:threads=6elapsed=21.878cpu=90.484gc=2.116factor=4.147zXZִF! )]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3U3V*Xi5!h'X{a+~XR&{Id@=}&e{v6@a#]NM{s.:tk]4L#1kih4^3g`+& Uecg7_wm)W 3u)xVDN"E]4E} Jp!y\9(WS~pE(;܉, f{Г!"ŕmPuFL35~Zm,<,7QNG?㭐`JO8(hxT4!|Kv<*S. BOx9bzaG}Yjy4`s;IR#ʢd]E+–ݖ.b$HW`?;gLh׶K9W}\d1)I Lc/= k?7[f֌,F9$Yq^Sa{7-f?)C60!/܇W8~Ƚ^ _ȉ$4DUh>IJDֱFΠ`{"6O~h705h_eQgyVCdntf*" Cd[H`@z/:jΫ`14!v$!*[#1zeR}Hwy0m/2nJ0'8y'תpX:$sLX0(-[&tV{c-HR/ 1Z4Q:*V+*6GWu`/XQB*Ta9x. |]s}\ g-hWeZUPFL+먁,{^߫$@> EsF&Y2.BB>b%&mHsqwn_BWc teZzkӴLMS=p`.|iυtPv;QrD㩲~6C~Џ˶>@dk\m\:X@Ƶ-P335\enA fhg?Y5[Wz.ߣ ץR})w7ܾ҃-Ž=${3 [|8[ا_b E?8hRZ y\W6_nhǡ_a̜ -XEwOg-8G!֫d_ig@k0 2ik9yU+䖤(e}arևWOemzƞ&L"F娮mI"b`Dr ܶ5y22TlÛ֪ (zYl5![ s' df1Ũ_R+$T)=.iW@.J⟧fpClEq ,y.ZzQ1⬾8i>t4>+\\\)DzcU׶+jvml"! KʿC1?_$=MЕ*{LSh53 .~Iz"|RLj0]oе