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  J%T ]S Fisher_Yates:threads=2elapsed=3.096cpu=5.712gc=0.124factor=1.847zXZִF! ]ŗXf1-/6vRZZZ J.LG*7*A@oI9S*7[yUGk̛Υ*LԫrmBy\`]3ZEU(3W1LTdnO}ʝeyQ,f>9j^gYZ7zXZִF! MB]ŗXiɟ馸X:bLd`". QI k5D'yg)5~z^Nfڕ}YZ7zXZִF! N]ŗXi%92n>$&ɗ6ŽA> 9O/u9^Pl? c0~-|0"*DD|Kz?-#"eM*{I1YRWcDk\{"ID3eS[ FR HCiTey~:ޭn *t፱w$\>9k ;4l{Gh~dF]$  i:_E}Z*X-zpDMigY9L;U&t؃eI%&x(v,RIQ<[f&+hmcPȧ3Yh``BKq;jq?TDP}̓|Yl+'kXb,3/4VB)s mf -cEt SG#_o׸)80]^c^8oL.]$GpcXr@V>u^Jj0Ն-G^b +LHZ{UnHA_բ%Ζ>l &лL`FĂ 4Va;&O'?/; 9I6G 1Y@۔[Af<1oNbgYZ2a44234870e90c9a55129b40f188ae640b67130abc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 dd3b26eb68cac29493bf399898266d7430458d30 1b8365fd395f925f14c9c68b29b7be93e81afc50 % Fisher_Yates