SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
s9l| ]
Card_Number_Partitions:threads=2elapsed=4.237cpu=8.092gc=0.156factor=1.917zXZ ִF ! ] ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}:}jb110ꓮD,AFbX[&,;y̷p%Cre%Oqt ƒHr *g YZ7zXZ ִF ! n] ŗXiɟy<C{ٞğ3H&rAre"RH*xRG{P]?3 >7/<* D"̜ x(g YZ7zXZ ִF ! j] ŗXi%9#qz-tNbӡ}\("7M5_gSlN(qBHAԉ*^~+J# p3\``i
)~q}`}D]iƐt/ܤzۘd߅2ANıIT]QKp,/u$LǔdB#@Ƌ㰠ϞoKҲ3)|
RIŵMV7mKϦh*C T,AS,Ř !Cǿ
QgT"͉6N*%' PggapA:m|\QNYrk hMzҳ)3:#udg)irR4dF^iZX(]7
5Q}Z]_,2U37uJ.IVUv%Rf?ٷ1\TگI2!im80tX
PH2'&QBxJCϨ i4OlDAF2hcS!F8.ƌTچI&V"tX_KwyP.LTE
x `IV6.> ?