SQLite format 3@ .  YYQ77Atableisabelle_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, "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 b) D\ m/ Pop_Refinement:threads=2elapsed=9.977cpu=17.220gc=0.720factor=1.737zXZִF! ]ŗXf1-/6vR[2y6ܫ:/ҵA vҦxWPg7zn)un:EI5Z,/} x#W֦`A( Z\C_ҔDX%D8szZHTu^s#60Ό;F9xVyܕF ZG߬U,>1 vLu06 ^X"cE ` "0Mm%2%< 7=3؏)MH/]>LГl"zDw}X۶a >n &l[ wYA"~WwCSG Gl&oؚB{0 9$#;Ysgݹml)mgYZ7zXZִF! 8P]ŗXi%}&yR|ڶ8-1fYmPv8_Q1ChN/n?HvnAf[ؖZ*)c)'_9Y} HBHT K^B_cXf#sH\ؼ s !9"$A]WYSSNT˄+5S ;]/dIWg~#QT:aQ}0KQI*(Dy@IzQ Q,1Gu AcaꃳſؕoS+)=_E4?UHNiDC|s |6/\[La U%6N]6-Hϑ$b1'n)Xbڷt>Fxl3p}Q U:v/N}¿죙,B^kTs6vuAK_FBN k~lz.p h: NG֓@`R"eHR-EX ;ӟ& m]&/Z`Ѱ4 !Jȟe"BvM]%]_hr5@7&8R+".sw$AOK>7#Z0kI gp w{$ZRFް|m : 4Ym]5,Gq|Ьe][O o2S@(W~[& jgf4-HjsI?Z ;B#s."2+`,+[=&]+.G{lImAmL?eP 5.`b~ ޡuPfq*Bs^sQOU!h+bXkt}֪5^`Eܰ$N.y2Ӆ{./pLgYZ01091870288c89b07c9a8196906ab1a28f5ce144 0c80d94fb1c53b8f0c0160954bdfb879eb089e18 2d2a991981462407022e9fa67eaf8a93345ed7b6 4215e00a7f2c562e9cd0ce7c35b8ce508895f6c4 7ce7d0fdf02c8c654052b525989e64c818494305 bc4b5798bdf4ea30813f681d2af50b022d03e347 e6ea58e6d038ba77e87df5df5c14ed99ecf86c7e ed118e9d957411af2976259e5705576653febef2 f396d09fe17cc04998f89362bd7930d76b4f15340ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f ) Pop_Refinement