SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^|5 Datatypes:threads=2elapsed=37.784cpu=56.236gc=4.224factor=1.497zXZ ִF ! Datatypes /j6] ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^5ƾ'b%m D#r{s/Qz Xd`zDxvƯ=Hl d)PW6T P0\)$1r8Lpu߀G.Յ''+}W4z ="~E=,=]Mvbh՜ظ{'%̗pu^#QLݸ,[[0?2CɆZBVx\M0pCQNę.(jgѩEe( 3?Y[`<ݕ(Qrd}]'Mf&N&8(JPI_Xí̐iOٚO]EU"EPBE+#5Cf L#auy@!RG;ݼ89 dCBtV[!19|8 1~F#@98pHC1ƺk%ԟnvf$1
OT/
?^V~ J%8na0s{Ζy+QmUeF
E0g@nΰ>`dsd>GPo8]{ !u!UKOnYo5p>ȣϭwU'K -o
BI=/6VP干)P
^ ˱g YZ7zXZ ִF ! b@] ŗXi%k= {G)g'$ReԕAޜEȱog8Kuvl`c5YS/5l{{)btoGB3-