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< c/ LambdaMu:threads=2elapsed=9.149cpu=14.452gc=0.480factor=1.587zXZִF! 3]ŗXf1-/6vRZVNi2uD0[~1 R5x c.V!"*v\}+˚Xijf EuV6Pv0T@'J!I#NDHjx.L 4U wz{WH>f! nmĠ)>u72o4ݘޏv-h!Rza(pA$~w cwэCvbsLc|Sk`N& c3PG6&Oٽ-R7'?yS2SF++`gP <1-gYZ7zXZִF! 3yX]ŗXi%63YheNdw1K *ݒӲƢN{Xai;?jE؞%$<Ѯs#xFCh<*:~4?uhT_@=DQ'}FGǁJiRP>ؿG?6@' CvZq>9L?w}ɗQm'P4΁jOJE𸠑縆׊!w?V}HGTOSq 3]9Zc5PdnZ:>,T/ [m`8(ai޾;gPjCd ~g:AFIR&hd ^XLJW VN sgI;͐&+2VJAޖAȔDgHqң)PY99d?wω|kdقI;gYHt12B ƟK<+澻tB սA;wG6gHoB5xVﳝe8I]:mObe2^h@M7&2?bΐ_sw>2 ӡvJWf#;ggYZ06aedfe212f69a052fb991595e56263ba14c4270 0d798c28ae9a55cc105cb16f4e8e16a5560c420f 5be048fe0e040f8c844a0b152260c94c459d7d48 6688634dca3f3e16f9d54cfb9a753bfc3a080fd6 6d3d4a8d8d0ccd49a9f72a6229088f588aed8156 722018e6fea0b531050b9723f76b2919f855fb33 b1587b17612861e001578d3a4d058d88849d1b62 b158a2b0d475ff3c292270638e732c0daf71e51e b4cad4191d9eaf0201e78db721e10c5ec3b8027a d460a9f88748d0dd583e1442d37456ded2c3d4fe ec94c60775b8dc9a599d67332bff43ffdff9c76b fc19027cc3fa973c428391392ece0c9b3bc29655f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71   LambdaMu