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 KK2+ |t ] Cayley_Hamilton:threads=2elapsed=16.668cpu=29.456gc=1.360factor=1.777zXZִF!  ]ŗXf1-q恈aldC>14aU]FU鿐7҈m ;_Mt`$ᣭ Vs9_H6KP#ꊳdV\<'4DAQmE{4]< FT4pjݎxC32L@|7LEϔWM1'OR֦ y4 ˾CyACCT0%KTγ);(^QD*ׅG J91G53{]€ d<+w /3e.ZN%p4j"a,dҚ2B͡`^"guq4+to?T=.$Ib&{gMgkQ b0utfV[A$)p-b?y#8ڰvvm/ÖZ[ [ N){W% 5DȕWp:QUjǡ;OeDLaߙp5`8yY^1 K}M9Vl%oHe,¹3:,/2 o:gYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~ko9١U\}T6{dzD T:0b{_DG-Ck[|9zYDcuI5W$6dh$>n*O ܴԅ|,m,]NÛM`5|+ #=gYZ7zXZִF! ^4]ŗXi%W~ۆ:k -{s@Vpdpt!FvuYW$ wR `Ƅ)Dt fh7t;kpP(fd{m;ǽ֠'L~ ch$s/r]r߱-{rK nlq.qd%4umR_Ȯ"~ݹ3!{sRΛf2Ci&_\w\񷫾1y]3Lh܂i_AA'4o3.8רy}EtN8V*ok(mw:FsIJN2k ^/'׸ muD|0Uny_9eyX6.Y<}QsrBO_ݢ% #(2YR\AyWMH 1iF$ӈq20nbQOcr S,ʄnծ0c`x-bĻ~ 飅H@&,Ac x9;{7^(OpW7u1h\WŅ;*ds ";[`we):l |/:Kۧ46q,9_$V y\ּ--β,!چ&{ &D(Uk {;}4n0d޵vtaPB$Dh+h{=3s#Crcpp.lfSAX}^L 3i)Ԗ ,qgYZdf2646903d7e1500991083770b20b3f2546d5e76d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2 + Cayley_Hamilton