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 &7 \\ ]% HOL-Quotient_Examples:threads=6elapsed=26.854cpu=40.300gc=2.260factor=1.507zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%kUcrDG] SKMD (;x1S)_*c턁[Hwo+Xy[iK!с0r#ໃ!.6\naBfڏG nŀ%qW|kx 'rV̉di9}w[8\rg9mѹ+U@ Բ3Tg@ i,pu 4rth1Lk7з큸K$P"lh%9- E5E:6Jx!Q_y47 88U@b&?vi0b'me&Ze%n@{^XnD(^o& 4Ϋ|Z6>s[DNM2L,uyuN"b|]|K;Im7$x}-MYRZЄMZ*r:76['TW^Й|$>' A-vK-VzgBmo;(v+~ّLm7Hk֪4+5ŧGĎԖI>g~e5kRkYMJO Nz4rjnNXk!4h+gKxy$H8FhrR.P2ȷE`c8t$y6_N[e,h4<[TR ĭn?@eG+*5TSXFSR$| ,`/Q<Y'Sx\X/bS<V7VQ ZXf:[&ɱ:!ݙglUw2t)McF[N-9h=,OVNLpg{LSx[R71BRxXRHX@!J"9I%0< vZg D\⻁Oÿ2Cԛ{yqQbҵBOX+11ک)RFrakCͮcǔ婢?ʧ3;{tb.bfy*FoFr}1I4)Vig6&`Jb'~(j*61~ %M۰]:\4>U g˓hgYZ93ce77af07c1fccc21e0df887c6422f6f5302cb98efa791dabbe9fabbba3e8078d5274688c6622fd 537220e845e462fe9dd7dc166f6d3cf6145faab2 c59d84098cd239e6083625801b10283927e883a7 8090cfd9f22ae006ca3954417c04766829356fba 22ab5bd86e82be0d66cc27016680344206707989 7 HOL-Quotient_Examples