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  $ ] HOL-ZF:threads=2elapsed=4.708cpu=8.016gc=0.220factor=1.707zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~ ^Oko2{K=Nfe ;I%g=mHYGXI1zT"qъVƧ:`嫕-ǩƱ#9rė fmWxtjŒ ?HG,ꛮA8~~gYZ7zXZִF! C]ŗXiɟ1qnAcP꺣3TAa" yů?yq @m\/R45Zns}QG'cg?a3M9h!l;0H%V>a'0[a'#gYZ7zXZִF! ']ŗXi%;@tB U}Itergۻe#/K5f!A{!Ⱥ!F/+?:>390#CoYqxA'kv=qSZg~b֬ npB|Oi iڗs; sc]B!mMYO+,&1s̶,Fq u&yCXT%+'zY\Mk<1-|M$%;)|F=Q8yxNmBh'ϹM>Rݎ:)C&QD F[,1ƝQ8+{laϲ(uBt_mKV߭3UJ+Zo+7rAK0RՃx:aMнH sjdDS x:e*gx}IS" }RkYF'(dPȐ5Yt^=a(i`em;̘L QޝӤN6 _Kuߤ?k(H`"Ɣ S}I%7)_ )Dˢ(jl4sq#SwzzL=LA\Qvh=fZBke`qJ@ 6Dhp1JnPʸΞ"oFafaP/a?w)g,4~ 7Yqbu4AՈ(CAܗ.B7OW/ ngYZab32635ba8e1996f3b253543e46fba9208faa82298dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d acd1b5a40151b067766d2c39214b0e7386d62cea   HOL-ZF