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 hh d$ ]w]Routing:threads=2elapsed=14.087cpu=25.352gc=1.032factor=1.807zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k |On< }8;5},QUXz Œt+oRV|k%C9b5̋#M(Z#eiZ yKov:[[ FĚu ӁS\ ,w [! by4kM|UOJCJF(Gk;064,TЏ_dܳr]i 9خ}JEKqb]ach^o%C9gz*!&,VAX\a2\nr/|c˯u uG0Q 'OA|Ylox V/Hti?yA,w"RN6yMw^$.sٟm7m]e?u.IeKC7xG |gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gML/ض͏R +ZR!XYXě7g켤' ,/qyb]m z{JBKC^U\}+rϐ99hqǑదtU>xPEWJXS A$jhgYZ7zXZִF! O]ŗXi%;2ifIٌݧEk(yo9ew&Q?22_Q0xٓʇdCJડ{(זn4.AU<#Nǎ k̳UH͈8~;{O*R0{l`VG҈."ULtCvjE(QcZ;]SBn@);#,1lL*B YHzEq%0cFIY g4t?/iR &}}iڪXQ]p3&yUHQaT]e֯@F"-#$PF(f )De>c7ߘ^o,lju؏Y"XwT~D1F?ܕG/אO'.7(am甑&jP2`&}y ;p؉yN98O1