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 !- d$ ?m Perron_Frobenius:threads=2elapsed=10.318cpu=16.912gc=0.564factor=1.647zXZִF! k]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl`_/R^Vc[2-uzu@Fm^NpjY}s:TV4aal]{/3T5n->T12)BѪ>FQ7V8Y|9 /`Lm]EN Սx+o:ly)H*.)+aVg&zr`>HJ"ojD+#e `)?/1vǠQh0\p4o Q ԜQۤ+aHX ph4Th##@gYZ7zXZִF! :_]ŗXi%6xsoq(1~ g/Jt0΀|R#rpvf+GXy2uTtz vp۽oi+$N•e|']dc|c̶f]jI@)`: W=RԂfz۱6+*0Tt12 { RJ5I|!$+ Fs>IzWi R{PC^-/?8 .(4pX#-tR$'! ݀d2>XVO d-PKg-xD0WSא~ gb&]}weKf"n*09M}q0Y(*UPV0dL80˒) %q1a)UIޣȑ~CH&CZd5yFٛ Ţ,e8bI"jY2;񉐻M{&v.dd{_TLI:7`{9 pPX)WyPi"NJ IfB*Y[hJ.FoS$uEo- e