SQLite format 3@ . BBh77otableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info f' l\l ]m]Flow_Networks:threads=2elapsed=51.322cpu=69.020gc=2.724factor=1.347zXZִF! $]ŗXf1-/6vRZr~yյG!ޥo(?{~$ !Ad}[Ռ+ϻ0֨-[8shUτ ǐ؉Ħ珑dIP`Ia|E'M8a)^v/q9^$V ?mhqǺ=CR(R@SyoYA1ӫ{5Q :'5ÖA6F EQDž;Q;a Vg^J|p0i[(N?z.nIJ2R R)f>fe LTخd~vF -Hi8jTLЃS[$ s΄7>Iu~ɕnߝ̤a񅿍.4_ljpmV` ={O0ېC_>q՜&}vF`Hym=^TI~N` Grwܭ9 v i;lؔЂp(.h 4i[H`"s|I.3ӈ}gF-LdW7-( *.,BՅ:f3@Ϧ&DrȄ@"~}G&^IBoΨ m.PdduIQڜ6 mW۹|lHQ(zj2l3c߃wb})/LZk+R@pWxI3$R7"kۊX,t*Őb0gYZ7zXZִF! A 0]ŗXi%92.Wz hš#R1ܫ",^.Ћ!_Y1bƑ\6nz O&VY^R;nbk2xM4/O+UO5BA#̮Fu_/WMˆtsqﱘWj`nT,oFe9 B3ةJAo68l:GO1s9d+**hK\7g`"7͞@mkۭr %sGjOn8t O=$M[Jb}O`ypPx+ si_~; #JJF'j` PX\E:lV}@xj iۃT8ƣΗƮVx\.>)j@/cp쎣 Iسx1W{Tdž~Bnk%yY  }/k]\G*o~UƖ2Kӳ+$oXfBNjsJ(j隉%FɧPyEM=rYH %]NT=xI%xUtﻝF@gM%jmJ7SMl8!sGYAL(!!g0%`A;mI"hp`> j,gJL.l!LIKG6iOLozݒᢢfp"iŒSʤV6Yе9~4;M/]>Nq@g݋M|LB9&7-Sef!rxlQ sg[_п rt_;d!apMAf!2ٞYUUCDsw$SZGB~cZ/p9/n?cDZo!EN6y-MO Bm9sicIµlva_+,rP̜\H2^=Z]TpUMB:ݟxf~j/O`\fy!C'Zېd: )0<`!$q'iϊ' /Zr?+ϣ5\pߧ\ـqu"qA=($dx; (oAPb|~L\ιhW>0ESrjR[