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  , S IOA-NTP:threads=2elapsed=7.277cpu=13.416gc=0.460factor=1.847zXZִF! -v]ŗXf1-qN50^ Wy>j@(v܆eػJFk(F1>S"/wkHC{p@OXϫTF}e:;ϘJ!06ĽrڅGZvst;iJ*Ưa17Z7џzDApvPpPT-<^A0E ]]"D:(->Ӵw)zis -r)a8h$xȆb{x*~Z/?5YUv|^cK`$!b_n9Afnʙܴ %!pk??[kz^(*R1G.Ϻ3Y"]ӫ_6Z՚T"4SR CR(   IOA-NTPA_-<؛F"%~).L%1k g R-f#GH?)iV5`u"tQ͐}7t%f^$ler߈Ù~֘xJ17|펲-f/LkiYWrGٖxH#P.JHf3:;K]V :i~Xɼ"cU$v~(r |bQ#demD85=$bxQ_ߨSee4ɨVD8,n@'\ܟބӇ1("XN@;jPP#9|.dƪ={mK4oAo꿴 & {uC%Q0(92:bW.`hV련o4"*Z/i "r+r?g!>d HR?Yr?ค`:w1^J|DG&QHgJ'p~a%`xwcfє^04 [G1wt uBsu+&5marZ:BgYZ7zXZִF! #]ŗXi%#f)&՛Ϯ:dﳺF%KیEZ:p[@@EAM`04ue0(Y^@FZKIԹAV2\"=cx4YPg*>AeB`z7UG fŅJ):z0 %?@ @peKxɹp6 ]Y&m9/˜5R,E2EJt*:]Bѵ>DjjCn$7/5+#wT3ֵ'8[!U ?Qve)Q<(fbNEJ/p) < xH9l~YNTMt7