SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ff%t SS Fisher_Yates:threads=2elapsed=3.587cpu=6.928gc=0.108factor=1.937zXZִF! ,]ŗXf1-/6vRZZZ J.LG*7*A?䯓;JnVD fBk N|%(Uڵz :8QU#W2;C!&y^ÏdMnbP_tx NH̴iMZ;*UQ׏GܰJp`,pU#NW܃J|2]r|SN!Yff.f&MNo"k] -%U[씈A$>RE$}!o)zRAGs(D^ fh*# W4P,f6.ڟ:9)3&j9 37^ar֮h̛*/\޶xDA/{m*&hR*fmG7Q$\r8n2hMl뉏-^r&p,4D#& 3C3+;/ \Ƽҙ}1! M|eߞ3䂳|ϝTz*Vmg % Fisher_YatesYZ7zXZִF! t]ŗXi%:4lO{Qu|+eѤEnwV'NWJ.Hck3<Qeِ~7 EFJv2n/[ ahZI 4h  +_'}- N x#Ƅ\(wp9n:S-6 .eĮ@HwF34psjqZ4K~Qgkoq?)UyR ݇