SQLite format 3@ . BBh77otableisabelle_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 YY$ <4< ]]HOLCF:threads=6elapsed=13.163cpu=32.076gc=1.740factor=2.447zXZִF! ]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&H?W"n?0UD=i>ެ4ȣCQyfCP1A7EMtIW45PWd>Hpa WR%faQ 0rc}2ڧrstMbZd ׼.QnN_2w07=NHK>m3Rs TS~ F[e1$3)v&AE*߷0n,,]R3.1^wYD0h},o@FO#-y|ͫyFypBU,F)V?VTW"hfUK n'H>4hWo Ҥ!83kӇɇ9S2]f[7&󜚼" R=vGQD5ƒ[D͗C=~ AK| ؟s'w˘6ȕ>!]jοI ُh\+C/l+ *O&k(Gl #ֈ%-|f4 "MyZ!e7ճ,Zk.D`6NX!9~3NXPNp˹RdQ6 Xb'3+BP~j ~%rz\ApW8NCOK(1_cM~*^ŅlvR݂ħLv Ez/\bUåEune9p̈Ĉ8VBp(I ^E5x-6^CUyCҚ VRIص1 v8И"e)*Qe[_Ӱ ͔2Yk\&껪'>)KAЇ0r*'W.//YI& ¬uCQ^Dm~,ҟY4Zbh).>qF!!$hSE5&cxos5).&Qj NTXǕCIQp̕rLī%F 2=#;~:T ܀wFM&p32J~= u> ~2gYZfc4e541880e0e967179474f350dbede35d11cde25422efde7cb6d9163378abac38277ec5e6492f3e c3b8cdb1a9872d53a481a837a5767dd6c1d96ab2 fb804ca3d94ce174085e203252226b3b2549f907353824b9430f424fdf78d076a69e86b2249e7d98  HOLCF