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  s s %4 Sw Fisher_Yates:threads=2elapsed=3.452cpu=6.552gc=0.076factor=1.907zXZִF! 0]ŗXf1-/6vRZZZ J.LG*7*A?䯓;JnVD fC0UF2.w"]@wv-GHQ ޓ_hi↷{dH;6Afk x3 {U,|68kpYaf BQR/b7j]n;xۊHgYZ7zXZִF! Q]ŗXi% \Ge ,$r]At#H*aYzEZA0 8{G!9Ɛ gS_L1)~cyo dD!{wSQ\_ud^WK< <A&76*Š rUL$V ~[{Bcc;Kk`yqP">XE,b>*}hg;B7 iD)uAVg;V[̾uo28k?.aֳKIڧIOe\=1:{{mwc0 8LnjMiX۷6 hVh7RnJ !ӲM 6L3+s6gB1,l.sрQj> Г^.,lƟ#>u=B;5e;*Bc'Am YlU^D5m;92׾"Pe.E2똲CB_z<gI{1Df0IRD8y҇xVzQ͹R]YVŬ)*7n4:W 6=pW3P&iD35gYZ4d3e0d7566372dd5c929842fdaf774a58377743b 5528913f8bd06523fc4f281694e31f75041af8de 794278c392d859383ce5a02744eafaf17e151d27 f81309869275bd448cd15f80bd76e0ff1480d026728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c0de3a72380c3ab1b14c971396752f50c590bc0d 04a809032088b666714457672077332531c4075e 49658c93cfb92974e198661fb1503d47b1642b97 a34a5179ae956d0ac0363dd38c5bad9ed4bd598f % Fisher_Yates