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 ^Y L\ ]/]Noninterference_Sequential_Composition:threads=2elapsed=23.160cpu=39.684gc=1.832factor=1.717zXZִF! ^]ŗXf1-/6vR[y(&j-:6r1N^3ZZfk9S͎4([UCP8i)wA*e?Ǒ`Qcҋ5Ug6ړo,-_=z]e/Jm;G^>?AO\1Чo"ikEۡ\@-oTӋ_DƢnxOdQ+<18)|Lm/C֦ -ng?E S/Θ[et9#*OmdmD(3(I$ɋȯVHK .K50N|9~]׺MrX.%bgYZ7zXZִF! z\g]ŗXi%60e-_ 2q Bq獃T~v=;M|PDZeesBvBB;(^<8~p(&q;jB9* գXvC7۾y =w:H(j`$M̕Xiq /:tqH|cQnlbi~*ꤸq]f 8KzJT_! T$]U80$UԵVzyFw(F.2e ئמ) WYa3;_6LqM{{J[X8]~8buJIv{u8(N ye{HUlcqJD7ԥĜk Yipzj=~)$Z(.Ze@Cf;Yut[HUzE>~!'8so2T;Xf6 #e]|d'ߕMN/LÐ,^|r!%A7 GЈO{[\E(OPk%A;{aeIt#9R.w zF7Pa԰,L9w$@gaop+ZJӪG=(uQhl2}.25K@|~hřg?P6?Hx^=YA$0qF#mΎ8Oޛe,Ke~b ,s>r0\Ş/^y޻al[Xgky%9*-7l$*$d8Z?(X烋LO*5^8-Kz 9 5 ]6P/%3i {wc)kDI5 q1?)n4¡*4hdJ<|{wpej 3) BRr&6މɰz(.X%!"FAIP ,ђ@EvIV| #*2teGBq4랬T6b'c\RUCD?3]%~vht I'rvvȪkQ94>'t󴂥Mg