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  `% T S Latin_Square:threads=2elapsed=6.951cpu=13.108gc=0.208factor=1.897zXZִF! D]ŗXf1-/6vRZ(i_H {;(kvph+ UO7b5R~>2̑VSz@^ W8)hM=./| 5Z` ne)am螘`$YͥVvz{B[\DaV#TM<$_4~@(ƯP"9(,}\h׀`d˨N5vgYZ7zXZִF! *!]ŗXi%{ﳾ?S]D/D$ҹ<$2~B49TI $Y)?qXkXYm@{h&q0Z ZEU0#VņbF K@nZzY&1?3虞*JsCr=odǣ>N^ژ:|P T[0jx樊hu\) >A i*Mќ[L2RFh RX^+*ǸSA%I'՞C3{_!{oHb9첤lM4Fyi.LՍ \ 6T(B 5E7A{]70@x;emCkš_`nXi*uskKQ2ovfzFﭐID9%#Naq/ e0jvoJ%ȗ \/tLGa5/eeIq;j8Xgz0oP^xW ZHSg[5GT 09 »Po4U1b42.xsoӕ kVJ31!S+ڹbnC~$}qUs6j.JM_p,<0a&n0r1M $ҁ-lX9?\;|79Zט5u^ y'웯5y8ړdE!_ݵ*J!Q5ވSٖl_"]"èV(TgYZ31c32cd8ddac6a5cae1c8fd40fa7d51780dcf181 8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 9c3929e8a20c41189ace55dafdcd9f64e8cf7657 e587efe7a31b45fceb8cbe8e31287d5d15e8504b735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 86434de8e77d3ac1e7233da11b90c2fe1b241a4c % Latin_Square