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 &&W/ T\ ww Monomorphic_Monad:threads=2elapsed=20.764cpu=32.592gc=2.144factor=1.577zXZִF! 2]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@Wd׋0PaP;o\pM#Fm' Hʫ.{Q-.Ǝr_ 7+Bg`)wѴ™{S f'Z}`|.pY4N)2ݻ]q,XRz] f Joi"于u63F/知$ECjMc4*-Z*NgFGX>7_8NB7Nv$K$hl*U$#hZ"Iy8Tz'jGLh`H3RXܧC:FXвfÌL6zqgYZ7zXZִF! ke]ŗXi%n']9a  9XxS:#QGgmMo*A3v3"J@t7WD""wMpZ$ 3[͒ jIwls7HN-xV60-}SkS3ukBdLbfq(U#0i޸F~GSLp#T :XfOap#q(}s2M(_xj*%_u%)VMOO>/O~'@́K-n4oƺς7O>[5(:Ϭ$T] 4r而|d{g.DKSpW\/ZP%Rbi۽K;@>Zt5VaCD2#~_9ax /+㺙ٸ>#D՚T꫟P}CRK7~B|ݲogvu(rv!! Z2{JT[RWτ,1Xvၥb&08vf7fE] 6ܤas`Y)s 4#FTz:"!6x{VR (lC*g oACxșoNg6f1Aii/P}h*eV@f+S-)fA37zlkfXP\3ooeDЗ Hwia_gr {0q=;>1R= n|{8 },\mdvgu黹q8გ̞MJeTl#諼C =t3orYv WaP["yZ@Uq| yhow}D4fk )<ԣDveO|lm^dhZ/ԴXPwڲ:?RpBǁ97' cBsW7p) 2Ղ' e %<^r0&e|*lՁ/nXQQ7u8#>[}Fֺ֧ΈՑZ;:C[wbL]W T&3煷p E7ߺi|43F֑KEVy G %Ԁ~pO t( p htb "'#n#{U#oǿW4HgZ=Q>n~/)<*/DZ=ETF>Gi8)PKJ# Mun$w:z6$a,#É1֛ͣ3<{{ \ ԱgYZ0ee64616e37177565479368c4c5f56d374d1d53c 24837394dc7825fa09c8fb6cdb11476fb0500072 29faed5f22449255e0b21ba27558435b9a4a13c3 31d068e04edd0d37788cb94803f5ac07cc317dd0 d83b8216582c5d394a8fd429e4a61f1f74d230d9 f819085086da7f5b6a4a45373915100bfa5c05140ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d 9892b8c98839f05f8dc4bd94c38dc5ba0954a8ff / Monomorphic_Monad