SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info __1< I/]Discrete_Summation:threads=2elapsed=3.293cpu=6.556gc=0.084factor=1.997zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrv,ɽAN k%|hWKEhi^v[M,5=L~CdLP7eruהnݘPW_-Pmd+xW)8Ga)ܪ}plTl[*(%V؋ Y[Ԫ8}&bJRĄ gu;nB/v ѭ0LWpg. ysPh'Z4Bq-&=̂XUak@ˌj䁵*5I z5PO ̂qoe&g ":3,@LRy|4g3N[7+' oSӐ%{ԵdazbۆW/U/td/O}1@~j'ρBA@'m>}^ePQ4yRsB ^1z~hVM|q"+" {{.\7 v7(vm 8~gPêXKpYw{'H3eZH;acXŽ7 Fhz<;('YތACMww М|cg:yv?CЖ]71/zkvC%ڿUX'/~nTë:|CT^ ­7Z fbY0oLsF:;*HjݬLr9w>^FR%UdR=R8-JY ֖̦++-Yi+,K]n'}-ٟd.QW'Cq`~ C&o#I6 { \I LEŇ*h5:Itd܃!3M$m6.铝޾쫊dh)SK,׊t,wQ#c5T=DRatR5oo)(tBLP3WgYZ0f9dbed5f85a5e8a5c8bbd0757a977c5e8917ab2 43cae1be099d1c213eaacc3f2b98abb9cac22882 5a69c90228932d66a2b10333aea5f1364eedb41b 5ed3c1fcc261a5e3750c43a5f4cdd67f333ab74f 7ed62bc2552e06c4cc7af31812f96e0c25c73884 ec2e32f7118a1d1dc54d9c254cd254eb1ddca842 eed3763e145c3217bd1006079917bcf0c4820987b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d591bbfa93831c5978888b08dc7db54de3df3d1a2