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 ) d % HOLCF-Tutorial:threads=2elapsed=16.624cpu=21.376gc=0.588factor=1.297zXZִF! ]ŗXf1-q ) HOLCF-TutorialN0L%.u--W^3M,-pDF;l%_o}I^K{}!h2ii`Pj%3 r lV Q% %Ǝ$_pGB#&!+a-DڔN% 7`/Qqяb Z,9dhF6Ӭ5͙mDL K2Ngp jC:73XYGpOOqUht&؜'P!xHl#6*ضw25`{'(AzGo¯?}3\Β#Zէ6 >FǩvdT@F2,5 ڌ|㹇M8J|xwU*OF1|uNˋr^⦠dBal%nNET,kc r{Fwޛ&z5DۤGkJHRf)dMY/m_3]sDK1yuG]'i%!*w>7԰$ꌒ7{os[j(s tZ22VR8 9&ѣe J/Z}Z+~ d(H^njeL7bHW@%ͅv_24JQZ.ozQC9r=u1zT~ѳبeN^9 a/lD"bY5]-rwbD_X], *. L胖"=zu042컜|sr>P1`=p_C/aAyP}ݴ$5AѷTۖvIYQCy%Zj.`SDrEA_9Ѥ"H_K$\uVh0?2w2prGɝ$莍*j;ʪogEV\tgߦllO7*a XL0쎙&KD~ aU D1&F.́d:97Ͼ>%\]E8Τ\ו T;f16lm;|FcFt՛?rA:e1p[lJZ<؞Xڈ췱czlFT*?\ts^q ޛKrwe9\Y lҲTJ5DBFMuSUY`Ka0_Ԟ7 Tj |/|.3܋ hgYZ3b50a37e1aba44dc634f0b813ba065aa18b3ee91 6dd0e9dfa55d2d9c8dbdae32f124d724b1e05b62 97a2a51088acf3f46d2f67ea38cfcce93271e2dc c886ca46627467529639f5dcdb357d6ddd4616ca e041a4e11a01034660c17a38624dbe971d428e0d7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16 938d638758d7574cadc87f2c58296f82c16554f9