SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 % ,Ld ] Finger-Trees:threads=2elapsed=15.887cpu=26.212gc=2.036factor=1.657zXZִF! ]ŗXf1-/6vRZZ-=X@ 1-PU-xA/E@ip-. /} d26d*VHB౐/_/}ԺFbF ESN^O6CT^;I %江sEL`UZ[TҚa}pyƨJ$) u\<%LcI Nrr;ˏ͛r \'*i?Z'K k(n}%d^4-zL046>9uurL5jujp&vT|.,8Ek;-p0®r}q[9gYZ7zXZִF! ]]ŗXiɟ頪{jtJ" ZYYh(^~VQhdYb6j}Q&Kmqc߾!p樘C")j d%yanBsgYZ7zXZִF! X)]ŗXi%>gv+ﮘUB(ٍ9qL\fй_$'5} vn Aϗ@ d2p nOd]<0f#?5,;AR`f;bMZx[@RlS3ҕY**z82@`Ĩ6ƅ[pI nCQwɋLsd0mD.G+kmܲ"ic*$Ka0ؓ7ϯtCUaE9]|t9k~Wwe!2b4c6%RlXq!#'wbt>oF,|iw}@k79ꁦ4һLJ$Uf.1O ع% ~[PV2n$z ;^HPN(J^/8s5ܖ=8aVM1BWÑRLsH )0r".W>)LvPH?HX\:R 9z"MwthNdq~#Я@['y',>R\m D "3>xtx],s>ruD0L)!KrZ ~[J<5J4b@LqlyhFjR_[׬6%v]" IAC_1+Xkު(Fr@eatTL<2$)*ӢmKN*ֱS#?J t8=$m(Fc)hkQ~oUƳq `ź:&8T(<_ϡw}ٟr]-f=6=爞%Dô7-g-SR2i3EDBN¿R,;r'*~2u=1PA9VRL--ky&l;>Ui(N4?!BFWJ2@i#Ѳ:b#pFN)R ~%CxZ9QGxß1g~7wDXrXuY A'$dEEG ˳4yTs?EqʳplFJdh4W~x̑XIK݉:e}ѣH~TΟN[&ܕsaIbۊdbBЃĜGhπ+F0Á"%h4r3PQz7Y5B3ظ%q7TIXMs}U]иYh_ 2)D%/LMG8>yO gYZ65dbdbe24aaefc268c077e69a5f21d3e4a1b4812665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b % Finger-Trees