SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 X3 l T ]/]Noninterference_CSP:threads=4elapsed=4.726cpu=12.220gc=0.264factor=2.597zXZִF! ]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GKpoH {H;psU\l19%)upsX:eMf6a@< .+؆\>e'̎yx\*Y` tfλP;K66h{72f/G'1!W qEje~UW[ ʸgYZ7zXZִF! }]ŗXiɟģ={#1w,<=9<0)xGha~ 'Oô`+4DkP@:l)b63}B6+ Ct+2,Ѹtps"{.z"gYZ7zXZִF! 1$]ŗXi%Bcѡ~g+ r$h<4b\q֥&}YL-!;-O$[ס_wV.w>95a^Mj0:,6MDEc6`yCu)Z6\.-GءgQ$,7 Ka~,J)ld{XF,htM\Fhe@<"ZV?xϢІg'Ua'#}Q`# ]Q"M}Xh+wg!qq  s0AM F Edk $[?|kԫoNTǬ?|;2KS1By.KI/X2B CV%B'~1E9CWL˶?iaI=9q?'dҧ^ɀ\51k?T芟驾Z_KҕO$%YVEoS)j{:Ez2Yl;{$ٲ!. grXQY0Z2zAR\Ku| A+-yӫ`j)|8 p=d+xcY}SՌ~ib:UT, n&VLynߏ38:]Dv@`f Bg`l`{fnLϽ 6JnۡPPƜSX! 8*8Ɩik8I/h6{W_jD$?BWN a;EjXLWױ| z/EI7ĚK?)!vhRK8r.pV`Pԩi[T̙#-FOaRP 9ڐ>$ dM*P%};KKX$ PXGB '>onrt@}<Ss 9ܴWRkɷpױvS &yy~VP).G9Kȩ^aT*Pj/% z[Lc'Rd7t(,!5q