SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 k ,L ]/]HOLCF:threads=6elapsed=12.451cpu=39.296gc=2.748factor=3.167zXZִF! 2]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0&u4 LnK` 8<O`{*}}[=k"&t‰LC+"7p?WloԲ&}e̗ PŊAQ̔T]xtf玜X xl0yZulI$哳' gԏ;bH]Q FNɖ 2 Tz:!Za-ύ)E+D+ڛũ) iYXsbS _o⛡`RXAh ӚXۅXY/ધwLӫFd זANWzĸt} L] ED H` 2sϜFm,:Y[y|+8<]) M|Wb $RGBW]t*IjŻ(o4aPq>H!TԤǜB_SJ$-. #U 6t"dR]1U|٦.Z5$ Q^6Fcb5+-yǢ]k HO+^h5qUEh˜1ʲfœX$:RYq9Mk=! kŷ+L99'gҨ\L*d : ʞPX}N^u?Bէ8ogqGGꭙelrsmcWjdfKws <+V4fGOaq++k:'ρW byic6A }%Jm]l7idG >J †_*ʾ!s7cR85j4 6|-ui:APq?tyb*1d~bGQfxs㏵W'ʾj~\QQU ]( b$)Y-Ug;w ⃤wӫZ/Qz<.&N+ (B5+a5갡!C(E}>cW0.k@4sѹEEi! )˻?DTkvuaG`CyMTBv]f,x>l]t{`) -k jB3׭?Gu]G╂+*K%O#D[ fi3OGE|0ATb`nlaɕZ_& AlVLZX&`%;Qe\_.:,h N=YXʍUl$d&.ս~1mVIg!iⵤuf:;ά/|X".b+Rg]rsGBAC1 z_21{ ؿRQ-‰+Ko`zuXQd"M`rŶqϢ fՏ:`:mH&>2LVRf< '1QX忳Vvβ*lgX;Dd"`MAxQWȵ ;oxw S+̬.ȺfDq )P &nv.Bb S!̝&.~3b/H/ (0zDzh>>Igayb"1'\:Pt.DYhVfG҅ Ũ(lӗ TJ) 4pvTZ!X2UDfGSdj޻=5 m~zZK׆ (e$< }gv шF.0o+C qXλbzS6c/5 n먯UbiTMT}ny3,BB`.{u},zloŀ]8$J "ӾgYZe1710e3f26890cf4861e729330bb426455a37a96497eea8787938391457661acf0f01a612c4d3497 182c5054259d818f89537dbe8e9d95f42041a820b3bbb270ad07268d359a04de98c3b644b2a53c36  HOLCF