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
1L,k/
HOL-Decision_Procs:threads=6elapsed=221.406cpu=898.176gc=79.516factor=4.067zXZ ִF ! l] ŗXf1-q恈ŕ[p){t,Ox=P48mc}>PWH811.3Y1*rK:,m켥~iWi@uP9tN l}@ 5gff@*goF1ve^)t]q^ӯģ}Z3Mݫ}xW!la2GSAיӌ%=
B'@)s%adgy"& _bVl4b^?Y5gƶ& :a͠!:z~Tˢդ&97$wЭ
,gjlwڄBf ^+ibVc}mnzG,_XK8aoW%hH(С_Ʃ6q<+`h%,AI#aه
1 HOL-Decision_Procs <P<,oy= 'Z
)z[^d
\#$2j\p_ٕQ.E6M" <Pф%/A~>~p>g=q&cĺ~H%˸Ҟ7E3Bq\?:*7j&_LsHrޟ)>A+CrH*#?߯@<*1pg&YtMi
O ԨS'4Ȝ $f2˺קϿWc٦?֘#c30B2טӬqN88w>[/p_wQ@T:f7[A|Xz=jJ-^+c~ոߨiȈl1qb>,#-B Kĩ8R0:z|D۞)tQpۗ lǷl+Wg&\4QLuCu|`t(/qyjHK\