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  L| w/]Main:threads=2elapsed=1.395cpu=1.472gc=0.000factor=1.057zXZִF! ^]ŗXf1-߉k3TԤM2G%f\>X| N0ƙ}t`ɾ=&BHk nzhGd Yz)7.gYZ7zXZִF! x]ŗXi%$|ĎbHiM$cWP괵tacZPaכj^t[ZgT?FSߟ7[p*}P '_< AGTL\&"݁ĕdТ%pz sDF*]Qۥ/~DH!Gnn)|AgwЇh}tAfőC  %Jq`-@pSs+VpQ1'T E%i@D yJwcU{#ic'AO2[\]m.SbzxkEGj*/tKg͵ߤo_NSU#R@oqbH]H5&e(K"D DTegYZ1930c3b7c20d9797c64aa918366ea5bc9f263901 60b7e9719f502620ffe20077b2fb4140165f27b4 61009467416b2adb80b7564ad7a50f0f382a78a2 8f194db846e67a7e87b25a27fa8ba1259c4af82d a634d2977750efd14daaf8018feb1fdee3310b68 fae6d227bb2f8ebf8204ffbe9d8e7844ce87ced03e190402485c30e07fa4abccc11aa7e0dcff319d 131d5ccca1cfbdc164423ae8324bedfdf29a0005a638ce875edf9dd1c3b8a7ec34c0fd632f4dac90  Main