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 LY D< ] Noninterference_Concurrent_Composition:threads=2elapsed=8.886cpu=16.492gc=0.348factor=1.867zXZִF! Y]ŗXf1-/6vR[y(&j-:6h*d-Sb oB w>wqg}YZ7zXZִF! = ]ŗXi%92A! Jr3_?YsmD9ˇwG{huw#f UeoD{B`Lh#{ yvyaExT5IB\P?L{2y.bw8pO`LY/7Wp|#'pcfQTI>4fYVF7>(S<̷`5HglWF;ysp=U:"ߩ8@5Gm>?۸y^^ $x/6ަmkᢙ(`:׆;n!!*gWp~&'ԊX.|sfwд~p"k'vDW% o*Wv4uܡ em݄QE~摳c .I77\ݵ|qӭ~q! և`3vRRԮ H[;V Zpd)zCVe&C{ X!!-e~eѺ`[n ae2gZ wxg52q6E[=eU)v C򮏦1ѽ|dbN4lr1SVo.j=Tt_%~=%KJkD_+$B^(|Erw꫏9JB'{ +4'p5DRyD.Qтc-$ {N`&3¾w@llj:,O )u $OuOhw 6ِbYArwhkøU7PJ8;cpɖ_¦`|h'<|}ܾ1g]>J>~4}KpfxpߠD{zv@1#q6#H&z-;*L3XNH.ߔa~