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 QQ,) L %S Dynamic_Tables:threads=2elapsed=8.755cpu=16.716gc=0.348factor=1.917zXZִF! `]ŗXf1-/6vRZaK Zf 0kߵDڞӯk@=ڷ8{8 ҐIȍ,ŝDw ΰǜ`kJ=Er &qK! A֬23HI5Mo=VuW]&<o\Qq4_fr"S^ RxfV4 ICgl?@5DhY7O$?+6|eP qJUs;HR9P#\e*i?UiepmA7X;~00FAb}[pٻCE#Ҙ5f,-^/UK ^/#ΌջUʦjPkXO.yMq<0j W,gYZ7zXZִF! 3]ŗXi%n8ly%lpBVeRNB neJ\iQ vq.89‚rjCQ\?6uz+eX%~nTdsa @mZ`Q>b[vRWh|L}bP>2c'.iՎϤ#NXuу LQPWj[HDZ;ҝ_N7;)vWA/res  cԦaa.Pľ0/ e"ٷөIz Yچr/&0J{M0q$ֆ`)l0+7$ucB7#mB ^]'+>؆hBFo0T9%߀s'ګ\hHתߔcD@q[/sD^ EK]Yn+f7Bˊ[,@ g6Me6Y-s2-e]9Tu:Z?ih&eQ6's:}s, D+d5Ƌ {ȫ_\ݖ&kmh(%^NؘG.(er4](@ P9,uiw f4.qC-孹pŕDoe{53UgwbM-WhI^MhG^nX\'P!aw D_B//fƅ1}WC͠$by'f_D'ĞVF= LJet(5)v&{F v=  )w[[S ,~g MԎ/ey6鴡 ;HV_|\( A"`A ჹN,p }i;i:QVEttOʜ"".'AOF`iouD`>gayŒ`9ogݮgYZ54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc 80c6ff8b9b633b73ce88466aae10319f627f7b03 a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e59c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da c217cfd1b92622234079bdef26e3bbf89d588a16 ) Dynamic_Tables