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  q q L ]S Circus:threads=2elapsed=51.718cpu=97.864gc=3.604factor=1.897zXZִF! D]ŗXf1-/6vRZyⵞCy*!Jlú,CW+jsꥨ>Fjl(mf.aAh,,(iN]<jB1]=}K}GDlq~"5ȸ|H1401+ XcҫUM,~Fw^kFθN,4ؚcMapd֘y6d7azZjAV6G_A|tx@ EzV?@m=xOC:O00Vi+QG '4o)o.ҙH`nhI)MN;ªuڠ/Nh 8rQ%^$HM'a3G. `u\ZȨ Ol@ng <@uT8/aN0  ctZ#y Z7 8XP6wO-G!]H:vޫ?ig GܘOE>[=65QRLiVslI6>gڀJc~_f ދthFpfJcx-,^g/)H M4V V{EAy˛vWqNV6`˴[нkEGgN@ܝ-, ݑ?[N^:0颔Qg<ñ8c x"\Bdh\)v+! =+|مxx`l3ÃEb(~i 3 #GoҪߝ羣{TmpVe=ix;g;RUwm/?i igYZ7zXZִF! C> ]ŗXi%6eyEiE2u֡Ю:ž#S{@rτw:z/DfFwT*PQUR&mi`3L k:ȉzUOڂWh!0n+8|DcF FbԬsHV[_vw0ȁ$4͊y $.>"*c3ygԁud)<( :HG1:;Z˄N(FZ2NAo|9YM< =8L&kږO{q+#)e1Ƌxr PQγTۨlRj$}dHU[`>ƶ t?h1e7d4d3[Gb>)<+GDClG /ݣ:80n y?UE5~|S}K% Y\Ku@vWǃ #+/u!X2t@}f!9?Vo^ 'W̛ޗz[_Ftj]+t5bk^ȯlgEA(#ɕ~B$3 ReAuYb6>ݸ=MW#袔1;'fBJ Za1!Br8> {$ " E.xxo-XzUNVh鲊h%@']ꎐX>ת乣>3nN[l]z|\[N?Vek@؛:ԧBCAlW8ORe(łC {~u]2fp/F9?vw"|Y,0uWjN z@mk7*:?D/_b n(99w5{7I %vA!Xbmccc DzB(J-2blȳ2FHgoz{eB<D:Lp%͵E =qOgRĉ'͙|u^EKk7]*BAenҷ<؉:vRQc#d)֠`~9L p]$RhpQ7]Z%hx4v|'C9<9rAyǕ2!iS.k@цK4̥OLG\nb볌ڬkD$ Ō 0eSV71i۰ĿorۛOd`{72b'¦<] ,_cOQ|0B\^5u*/ &}x/F4kΌcKm8s-K2VuzY[ J}<^&#Xϝ'4jZrVZ'&ܞ$l"-P'M<~Lq.kX EH)P/ s&z1:\zAIzOG_wHs?逍/Mtn p}6cB?ܜ D7khLmah1ojcђy kTr!cete%g$E~%Ylvŋ&$5xQ7xkaJBei^r)J+6Kf.neSiUS((YGPnLg؞*zCmFY Y s%G|Ȗߊ62رgYZc503bcf7bd94221dcf5889095ec95cf9b886c6240a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 c9c9d30478737227e1dfb65aec526aadbd63e755