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  n%d D ]S Fisher_Yates:threads=2elapsed=3.154cpu=5.996gc=0.076factor=1.907zXZִF! n]ŗXf1-/6vRZZZ J.LG*7*A@oI9S*7[y{fP|@'=p0zs>iJVo^9QF A_>|gme{ 1M; `܆ ˇs  ?'{_5gYZ7zXZִF! MB]ŗXiɟ馸X:bLd`". Ql4$!%k8x@Iz"^Nfڕ}YZ7zXZִF! ]ŗXi%r)2``00Dç ο: F٨*T 'vdn$6U,?XvJM5z |h*ay: w4áEҍ6zBޜҼKfNmRfn!24՝/us^&NߛJ֢y$ScᬈT>Ir^bWYJQ(UJEjH%cӧG& }M.iF#Ĝꉧ ;՘g[{L5%h5M'1:?CL1S$34WCvC vzG?;~ҊgkD4y<pRaC~2A=2βnyDĚ45fhwvLS[ZXUpş #Z>Ca(}%0< GrVI?IKǺS_#~(Ŀ;^& Fѓ/}Z6Nh֎AR nQhOQCG'ҹ% ?+a 5aQc(:2V!H"xeLQ%Ķ1b8°kR"_3|:]Dp7AzQ(Soɢ3jE " ͷȕA}gYZ9e5f698ba0943236668d4bc6fdf14565752a875dd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e c0bf7b6d5b1b478088a3e49438ef9e3f86d0ddd8 209f35b6b565b15467dc1cea364ce9b398282eba % Fisher_Yates