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 oL| w/ Main:threads=2elapsed=1.229cpu=1.292gc=0.000factor=1.057zXZִF!  Main ^]ŗXf1-߉k3TԤM2G%f\>X| N0ƙ}t`ׯ;4"79pqҭHmRކ܆z)7.gYZ7zXZִF! "v]ŗXi%#!1`v݄C"5Sbgf e 2* Z)@Eq7!Q^6Uc`,1,;s݀Kl2Nk\r2ZdL.@Mxpͥ`=׻-q+?d[T)4vX߳yndqE7"xb6m!E|^4lBˊH0VX;xCB<@`"(V/,hg &0\P:rDS*i}b}x,*D&-`M5WV-/ɶZ.Y F 2]h xٔN;e0'Y}y'gYZ1930c3b7c20d9797c64aa918366ea5bc9f263901 60b7e9719f502620ffe20077b2fb4140165f27b4 6df45adb981e08f68a827206bb1b05ddbd152746 8f194db846e67a7e87b25a27fa8ba1259c4af82d a634d2977750efd14daaf8018feb1fdee3310b68 fae6d227bb2f8ebf8204ffbe9d8e7844ce87ced076e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575