SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info }}tC d< % Boolean_Expression_Checkers:threads=2elapsed=17.203cpu=30.688gc=1.804factor=1.787zXZִF! *]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DJ/js sHPTAzˁ_HvWRgY,aE+dm xuHsǏ;E$/+x$^6ˆ pM}MŐK܎a0csA]r!(ז毱œUS2(HwĈtMvB0k Ønɱ8H)+6 C Boolean_Expression_CheckersÿF {v7NiS'>pgAl[ 8O;2{-"f0"0 d3xYq6>Hu1ʩ=VPJŭAZp:7CU&;*EFGpcCr NpE˺oT ;{Uݏ 6psaOd{'2:Ew^zE&/3ӂ 4l)`,7]Okf@h+G8Fѝe Vt3gYZ7zXZִF! V]ŗXi% cS0`? 4,'%Sin=dGH%} Mp%?Q}.9t3dlMɛ\&[2;z`-b;ߖWλ V0c\E4;5+DVspÞ3ޜ*&j oZp}qɳ6x K9J0_l 8zӇrks .}o`[7y/~Bfo6ӰW) T~Zdu~V`a[p|c=qf֯v5'Eu:j&G8ʈ,0;_4a{EvZ 6 Xd6;g, 6曠+x-$I8<Ȭ4D*K X~g-٨_ʈ_I?JE E N]&nˣf(Wmlf{}ȖH/; DM ݂?oV{Yz?+%4oCORѹ0"3T] >nCqY⭋^@FKɜ/|1:D2b%SwJU5>,m!"!8ĒP\;nZP4HydD"Fmap@\X\V3A~8Iҭ)+`،XFĈ7| ՍUA&ץ=A{#V ƾ9Rf˰4MpKJ[UkTv?\ F,:;4*G^5^!,пs`}6 p5Va%c>r^qׁDG0@+a `·C Rgo;=  ~XvO1; =uR]TGr6xGF=6Wd)+ JV/R#"7prjNnk)_jヮ%HtBOޜ[\ /j5 zOT-, Z;v>D[!"`1c'6 9v>0Α1[7&vo%yY.o }XlFT %+ZW-|PK; `2ofn$^zC3$HQ ;1BaoxW-\ޱ ˭ٚ1gYZ34d8beddd1063e0f88c3cec18d55bc84f4ecdff0 5b7a8a74977f35c97745ff4512f1447d08ad5d6c 5c35e753de9008821a6118aedcc339f9365e8561 5f86d641a28c4063401177c3dc72cf99a7fffa03 a8a565c4f899fcde3ec79b7254c1ad9f09f50fa33b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31