SQLite format 3@ .;  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 T$ ]/]HOLCF:threads=6elapsed=13.115cpu=41.792gc=2.584factor=3.197zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVBGn/1gEɕ )n^B`\Km5@t#G?{Bod( AU,1yhR ?DT KTpn E>1SM~0Rnk1܁0Qh|x(~qCпEdq;vMp#O1- cRa&[ ͹u-R|m e(hkENOq: ^(q*xFܧ K\wJ`^gas$`ba~3..'@[Gtb#AIIL_"l* 0Du9u&EZa).1)S䑂/`$Tt*+jN:_[3erGV3F?$#Լ0i R!W+}hYYNFj[\͛ZiP^shP=R#@xM:Cڤ)ULSh#T k32kT1Kqڕu"8u<l^Jptz䊆ŠYk8 J7/NgYZ7zXZִF! I]ŗXiɟ>Ӈɇ9S2]m嫸Su;p?90N՛KHc/}VR٣+>EJsA#u7Aӆ54c'ԅw8}- g}ѼsYE#1cY/"KȘniTW)o*G,K?Z siد0ԾKVP*ӱRw$%>ڙ7߱=56[SyGP314GA0,ڎcS4,jr֌ KPm8+4Z^Ӗ +r%(}T `A6( _sm~vo2|o&v#v-POӽD"ҋKtFWf% 4s8^T8?BפTcu(.{< (sZ\Sѓ㛼T[1ˮ$Q) s#?(l-`Da^T34kϸB-MT Owd 4GkR YPo=}BrR$HR T9fy @S% 72_}k/+6g_DĈeBƫb"" nb L"=\Do.37BCSʽ-|38ţϸ/~*:;E14i\6?nG.NjaNm%oH#x䌿FVz?• F_oE!eGTJ .LףoƜ|xK?*56p 57Se]Qp*pG=oȸ![LLH؜c B <:ћ/ A3x1 =t{aO|sW?oxP1qEz!ņeT &ͧ;'=|$T,1+D4p4֝n@5E/kqC˕8$SYN*9K.Pf\)&.B@}\]6%o3a: fQP}A7y$+7w[5 Xa\W-ܤZ rw.F 28y`)~W|2_3KpSɡ̻g9s`NnLHH4֑d;@REP75DA,_=q-PcJPDWr)3 bրɞ֚Ms<;|i* 6o0Oj1{eܶB q ܱgYZ84b930d6dd527c1ef3247e49765422c24ad993f43c696140ba4d112cb2fa7995799bd7524ef2249f eff07190d0e5c4290c6a8881892fd85251ecd2a384b01cb3d477db929aa3d282af151277344b821d  HOLCF