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 bb) d % HOLCF-Tutorial:threads=2elapsed=17.188cpu=22.012gc=0.656factor=1.287zXZִF! ']ŗXf1-qN ) HOLCF-Tutorial0L?DMCM}1EB9nN|@}0EJV8!lf 72Rg0 }[7oķ#lCLk;}J,Д<-5FsH/Z[lrZfI=lɜCS6҆#Fwt' -H֬!~ $=B=NWz 8n7!H(}͓_?jN,ùMQ0jh%~g}wK93GE^[m4`]vW!uW;G @V/X|ڰf sAD%_˷3#ko-Q_(/s3 %LAg}.D[s1#T†MP[6LpCwyijd cJ#z}< T+MMK8W"Co`sH;tIB\á 2wKXpm.dG-9P$Yc}@k{؛$F-td1:?q#k1'PdH Xϻk3Au㭑|I#5 lvG،ޛPaV;uMAh[Bpmlu~˚~zrW`U FV2r<$o eɕ.I2zl gEߧ\Z"B9Tf~18&]$$¨n*7(֗!1ک{J istzO%m?,x'l{tpQ2i !#^lmt57QF_N9vX#x6s|h:x-!c0LJf4ݤ;.=B,I֠w)~ dgYZ3b50a37e1aba44dc634f0b813ba065aa18b3ee91 51e857ccbfd726ae67ac272a863908448bf970aa 6dd0e9dfa55d2d9c8dbdae32f124d724b1e05b62 97a2a51088acf3f46d2f67ea38cfcce93271e2dc c886ca46627467529639f5dcdb357d6ddd4616cad38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5 01bd0b059fc253a64630add6c76331b07c0b1888