SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  Mlt ]S IOA-ABP:threads=2elapsed=5.371cpu=9.400gc=0.164factor=1.757zXZִF! ,]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09 .zF*zvru+\f/+

}*da+*J1JNHSXg#ieǡo >/ E`es~UTtT (EUp"EWDTbVgv`Y м/RPe׍y??_gLM 󠋔gYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPg#Vgp!56A"=3O\@64 p'9}t%W,5G/jpgi c_RU( 51_ ʠa _">_\ :]`ag`˒YWMD3z_泗pj@t\D$<욶_W" ƝgkƯi&PjdSEaygYZ7zXZִF! t]ŗXi%;NH1 2kf YXٓsWUWaoRN]Yo +DZ3d$Dɬۭu˭ Q#l1F6XVᏲe8('Gbc.!G`e!BU 7^yDTJA>!t{&n9&Žt~1\ˮ z^v< DlRX:٣niНi28:76|w[V73$;C9!~ ݬeO 0Mq>x732;2i8W!~9U;#ȔTsEg=߇:XX;\y@cǪHb]2zCkZ&= DZe^y2>p/' F {LxP`3ڲ辧X:Ɉ>BRm3f.AW>/mUigȅŒf`h/3.eZMRX| M*8i]qFiMfqwťQe/" |.yDG|r8{*ΆhJpdͺWHQ#| Ф>+C]3ձgYZ1106dde8f98669e1d36f9fe562ce318ae1724657b1e9d096eff3e2d2097c331d061d199548b5d3ea d6c569c3cb498e2d723179c18cc1cd66ffdd721e 8c8c40f151aa79a5e88a37fecd8a88898973ad87 5cdacf30a8ab01ed3b8f6fb5179d31f91e1c50f5   IOA-ABP