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 //N) t m/ Pop_Refinement:threads=2elapsed=9.898cpu=16.940gc=0.680factor=1.717zXZִF! q]ŗXf1-/6vR[2y6ܫ:/ҵA vҦxWPg9lA1ϭlNqY,._&9@gqFY ,ZvFDdh#c*˃"'9P/]p3ƚ)^ NN`|7B 쁲P=wU$(,Y<GՐ|oՉI6TgYZ7zXZִF! 8K]ŗXi%6uT&K9 j4rXZ-vk"<Ȭ,݈W3EoGrhL<ރGæ[p[-6kM)剁5;>N\x_"z$:gO+o\,8oL3X@/8?n1sy:}\`.Sn5H7󜙆|'v/?x%у+GɅE9HHC̈́9}H]A(X5٫Y.MrP7U C Xs/-֚՟Tmu5!9ѾA*U/iZX&>Ҵg9w'Lq 3 cmtFaOG}׍3+^`el?O5l/yLX΢%BK):"d?S1A͎썺ɉg5ɷ{[U-%ºV#U~O~#m[R;TH<6 W)7[\Y':5ziLVjB*/J@W;--9ӏ{ ??]A T^VժIɸ2 fl4Kd P#څ_eި=fI5:TJŬP;wY ꉆy{&rA=?eM]F{QׁI A9G`KVE'W+Z9,Й0~zǗ,+c E=c.,0LfNF9QVJPNZ5){EȨPaW l˸&͜_ I!l)i]\D;Bryl0Z;iO=~ ~