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 l|T ]% HOL-Quotient_Examples:threads=6elapsed=26.706cpu=39.996gc=2.488factor=1.507zXZִF! 4m]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxu}G@'=7rՔWudQsD|CݧQoEǁ\LU@ }KSGDž8&QgY6\h\y\c,>b˷֝hZ6kQS/^Иzp#;(8ʤVn# _K^?Q]#W^OelP7rD]ĿMW1ig6 p<&Տa:"t˩_$D!?ͬ^}͒;Kx22-U~?qkd <ۻ"ڂ5;zמ633+@kiKjN- X=PtDԡ>@ooE!я\gLI`(AZNYfk4q ;G,ZpQPaj*_(0r`en TS¨QRXqȄ­e o3\`w ɠ<\FRRhwNᡌ6wGX j7>v-MWϤK{2_6C|Mz<]=G{b'fo0-P[0ŷ9qSoT!FYkQŤjǝ nAj߄ 8pdn_qi4U06#JפT06F_ >\_P?\?\,Kdqow%]xD~rʁv%tq2L2;P|j'\م׷W0p.MڛR}pL{C~d9`¿g"B8s2{Y5rĩTJ#ak.]mMvٝ$zR1 Ň4ޘa[ AJ>鈉z<ƽd|τIrQ\AS6w8]=sW~ m$4>sSg`jASә{ g7CzxA1 w%} f-ץ}ָR >A+J,S LI}OH/|@uھww!Z G6DHOo؃V4㽭(T[Vv 6VG7E6Ȋ.9}V xK'p /H֓ι?'|qХK9U1O@e9p-=P=Z՜ΐ}"Jq*'݌,7fy +էfÉ{*< +7aAqCgXZA%3RfO('i[8^\ZXCT\ZR(w( Z?A Vh0$1{`CgJ 9 $uz pPrӠ >gYZ42d388c95421de2aab88ce150cf97acf227f59ef2bfc9fa8902db3916d36ec4512397ceb264483eb 477271fb1badc091331ba1e4626476e1d6c56cde 11a74db1d2d9d127e73040b1139a301c3d720f1b 97d52bdb882c7679905e6015c8b88aa84e9a38f8 ac35b4ffbf256c699a3744cf2d221bc9f7bbcff1 7 HOL-Quotient_Examples