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, ?m Perron_Frobenius:threads=2elapsed=10.134cpu=16.564gc=0.624factor=1.637zXZִF! q]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl`_t$YQ%ez6JL&7RE;j(qr&@uK5?ꞝG~ү:Z%Q;7Xj +esxHk!}&XK F9F-y S]]<N+)޹u~+ik!ߵ/|]e/7kaP#0E@r}-tw AJ rqJOףwT.vcoG)sSՂtJcw^g_2>3yKt|/;ܗt5`ݶ. atYl<ΐ @{wG(#k k=9a..{Yj 1Wʩy1}i[ wfOKm**ѫG妙'_'co b#:'}h"-u#J=oB )bx4Ц"~%R*ޫTzjn,d#Gw:?ʂV߆*(77 ksjWL>{Q9/\}C~&Ȼ=DW j@zޱD<aڊ' cƉ]!NՐcd/k /i$ašPw04$~JRSHaA Xm2ܰ|ݾU"{Fn.1gH}Ѣți(} b@߈h /nKK0PHz_z:G  aF/檱pN@ƫzɿ53I6?8>s٦n_IYfuɃ1tq<4 a2 (*R )<6{ =@ oTeqYhT⢡x:`Ȏo*m뮯q EI!$ e9Tt~Ն3 %