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  ` `% 4 w Pairing_Heap:threads=2elapsed=3.254cpu=6.480gc=0.428factor=1.997zXZִF! ]ŗXf1-/6vR[2F*DlIW,|k|at&S',UbF<\ZbP=Qb)I*?I[i'}@& dQ=n6$\" :G^ c}6Zv(c%5()+7PNG s5_GCx;y|(45].} LÀs% **8:ͧyK\EdB3{],xR"T&c--dDQtkdYv#G h= 'ԑq9ʗlc&g]]ĀBvFH^'gr>Uur rRw+7ˇ:s>A|Z1FKY:F"`3yJߥȃ}((uc1;aՠ~@ŇB&deLwe\: J.ӥSf_NrO{ %DŽnrFaL9Zvy\V ѢGnQ&uAD,M̼k7Ak3PZkhj+ׁVLC̀:]FO4t4GĂ:(v֧J%b9eqF7j* (JF-^ *o -Ͷ:>kts.rX^( NƲEؾ/4ucD QgifzWhZSġ[B1FzfII]v&ZH?rF-\SF<Q9 Ht545 滂6Čx4H0mdWw=(. >ՕkPrsov/?f. gYZ2406350fc8727bfbb9cd0b178f37f8c3eedd0690 74adc48a72fa690d8f30865a32ea28baf7ef0f9e 93fd90144aa239ee204184369f17168ed5614265 aceb996a5b707b618f7a30886fcc2ce058098773 ce48a7876f4cb6047e48fa90db8d31d7812ebe67 fdcd07e33d850f2e31fec2b9a936a64b6fe54da9c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e % Pairing_Heap