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 ##Z# <\ i/ CISC-Kernel:threads=2elapsed=22.156cpu=40.764gc=1.608factor=1.847zXZִF! U]ŗXf1-/6vRZx>3ddCQXfh^x[++謵3fFK汬X2>ee7.Ş,l.7tOqiNǼu1ϑ0x25MڶhbxARYia  9%y(mNZfJ:CfkT`dîI)hXQtSh{Ѯԭq.+EDC P4C m.q*Jy`ƃV/-t2{Hp W8'g'IG FQ 3\. 6xy/PoqpJb L%(Qfc7gwax =U_Mhs#/??]Dqx$f"떝hZ/Sm{Ji /]`,ĵ.oK@!AM3P픞+f{tܻ:䌸'*Q _l**^C(YgKDaj᯼vH9E6 I$g 5VP=.Mء -0zדSex!$=ܿ_X`b\T8㞣{s6ac6Շ !]#SL8A]E-7 rEjQTDp| ^_;R#>&8cO돶9wD `\r2YɁhRVJ9L)lx;0.⼶;4.w{*B,q|񩡝?&gYZ7zXZִF! x]ŗXi%6˻hgU89>+ mʼn/A>Ȭ[cm\cpeb(i~]Dk)0[ls<49u':_4Y#eWcoϴ2qmd';\5Ad)~^\N+Glߠ SFJi+.`I9O4e\a0z{o$_U_!R5/ț$ ?05B7'+RW,'fgrD@ kW,plپ~ r Ώ&0 ;|Fhǫ׸ɠ{KF@l1qόO駳4j2rfgҲˣ;w?~T#ʭT0uCAZr[|(͕GmgQ4R4-oŢ%)Od N PnEwCӄ9=6|Qxj #NU[(~NJN>P$z.Q5ae}^5&q夡~<2 *d^61PZ4NBL0`ЏS~Y*x_kyFʃd+Y>~s< DM>-ѧקMaw9?*nU/?=y f{Ө{?1%^iFJ*8[{ItJsYa G֩Ӻ?sڅA >&.U#_ feXZ TN{ ʁSƁqhO\>%8p4ỻJb@UuR-4JS Hsm+K;K JD>gĮh)tk\E#`#&fj >} )/:YɼN@<Ӡ2 ;gYZ0506f095c011835c4f7c437686483120ef02a687 3592c30ac1fd38ffd526d039830f81d754495946 36744a4124e740bd34455511b5cccd324f277a13 3de2d68c664fab32ff7a3aeace0d8bc43f924879 440b637391744a33a3e30aba8ece811488c7e9ec 4aabeb454f10c247e38df7cd714481f60134bec3 5061c1f8ccf840f9ea08ce306fe0df979ee274de 647b29895a9a234f8b44594b5085767187248cd0 68d9d51d23a8266e670f046ac0a501b349064391 73b9223cabede58b98b327a5ba24c2decb0b5cee 7ce1d219e87e3a78d77a826d66242aebc0c1d8a5 8ad780413248ed3f56d4f471bdf9d6b24491f498 a472b67214a1cf6a22efe58c8a3ce2529602cfbe af88c9306c41efb487e6787c9d795ec3c6948c83 b8ade7f9d5f7d4712b723e66913e308ec2ba70cb bb7be0def2547caa9c44bbe0efed558cbd09916e e348d16c420645f70a5d38bbef9783570fc1e619 e41054397abc751ba6bff1a620d2944ddee02bdb eb59e99cf39fe39e027d7743befd21a29b92a39b fcf4d458aa667a899f0ce8a92bb49c3a31cc7d1b ff0c2da3bed4adad2ee8133efa39fcb5777340d4 ff997872fbc887147587770dcd32855de0cd9a57 fff085c83c737871c16986038cf3c59cc609f636554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 # CISC-Kernel