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
Q Q ,3
LT$ ]/
MonoBoolTranAlgebra:threads=2elapsed=8.680cpu=13.672gc=0.768factor=1.587zXZ ִF ! ] ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:# 2U,%~
vjRB{Q#^;dN *nŤ[% *ҙz1r ݏ9 ( &4t'QTO Y&D#:<v0@*'#!0}oA`20kmW nݘ Aܼ}ۚ8UoeqGv\tج&ú7s#,\>ܥ_f:cc8 uGxqcn5[7K1t=KTj S" 0v?[~2s#l5%̉33,FA;?go(cKr?Ķ&f͟x -
B
9g YZ7zXZ ִF ! j ] ŗXiɟjg*Cp
a:~- ;t0J Tg*atWڌa-#r8`PE:#\[<ED!z >RaAxPrzW8S`54ҿ)y) lF[[d+健+ơٔ#
C4}h(q}z'-@|uஎI1Nٍ_/u=`bkǞkaCkWɃ`9 nqԚ: D8 g YZ7zXZ ִF ! 80] ŗXi%92m/pi_] 6i#]`q Q5f5\"-#VJkBnݭL$ˡU;Əܺbs]' 8:לE:m71)<ݖghND?%鄛gxFN/Z<)|.$YBIG ?^8.%X@ ]>yeށ *s8qF0/DqEW\E8䜶,˂2uTFDC-UtNK{^V `{ c_FiL(+2ͮVEšp=6 ;.qH{C> RFx1@O K--g3sToKTu!%*$)"rNڇHȋ*Dis-7 8¦iR'QiM5$O+W~#dg94_;.4h55OL%5yky.bwf
vn9B#) gcIbEx'1 S =`+Gf s_D lh
gH%6hD `<шJv z&- B5W~/YɆ 0iJɛ*p0ۃ&Dk J3mו2QpWq \%~ *L~g5M p Og YZde1c939fa596b3f59a8ced42b6a1a00c4355836f0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
3 MonoBoolTranAlgebra