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 ??>+ 4|l ] Cayley_Hamilton:threads=2elapsed=16.737cpu=29.864gc=1.464factor=1.787zXZִF! $]ŗXf1-q恈aldC>14aU]FU鿐7҈m ;_Mt`$ᣭ Vrvvp. 866rMjQTL(C'u/{3Uh:'""PXlLQ}"{3_ ab+}gmNQ.DÉ&vdH Fcd(L9O@8(3N4តHjQBFBd=[V>5*V(aWNLvi,P[g09|2 85F]V( {| n}fNROJjH鶐Źidе3Jg W@`+Q0?J_0#bB=(Rvcbs/rBxߡO|τO$`eQ( [Ҳ֭Ov3|Z#I8. ^]t%? 8 f "YԠ ESf=a趔hheW-nJzgYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~koCazq\^aGjvkwfcn9_;mT-) Zg-Yk g) Eʯԕ:DqH q~y̅n&܄!{t ĿXsf*3IpgYZ7zXZִF! ^0]ŗXi%ύw46'_Ў K'm7NY9<ЀU5DZER؊HؚpOjo֔?"KR $!GB/&u:iQzB>R ҨPfVKDk%.Xfl}Uڋd[RGX!{)y ؘ+&$ϓq#+>9Fx22̞7Jij~v$j%2:9 s"arAѱoFTIW4z^9Z48=3l*z^m@4>Ãqٷ?p61kLô*5`~1@[=Ga*ӧ\:GX]*rRtUC+[5\ĿWƪkDB|D8P;k jϠ* (dΕ- ;c4HnY=!6bu+ _Ietw3OzHee-Y:+D5J;͏7c6̜ןC+ڶ9>굪 ͒~8TaiIaf+nݫ9C`bח?ܑ+#~S|6| LZ5nݣL4C&ATR;NNJ* #GwU_b˟-Y+[L$ n jegYZ5291519b90f7c763c699ee65986a22a842394e0ed6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 6dc5e2d880388f6ebb4721373e1be4f7149a3e3f + Cayley_Hamilton