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 g \,| ]/]HOLCF:threads=4elapsed=16.028cpu=41.600gc=2.796factor=2.607zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{m=ع&(Vpڌ?ަNh u|-@9%N9'{pG)QW'huQ|ґ1,e:CIg1w.ܹؒerNYƕvw_!u4CN Q~CW}[; 5 e-Wj+֯([ fXIڎ(6[n;D'%bB>j S qg?WYR H6b2+o23C7k`&SQs{@ݿ %plpE %+"r fK[⩀Wפ/T4}Jp q!RW=TTz ׹U$+C=*տ0' /Ucpj]6U@Nc,]BB2S{NqU`GAfˢ 0x=trt]vo;Z銾ĝFЁrL:6Hß)o5Q&l#AR,ЅUq uv&Z" _F|-"aR_{oMqJjwTFז tю<1J[IV C:TzS2''닲wD0{0ѵ\5#AgYZ7zXZִF! P]ŗXiɟ>Ӈɇ9S2]w5m¿?2OI9oQm7 O+:3V?v|>6%wA*5Ȓ,a]t$Dz*ӭsL F{Qp5K %TX[-=JI)uoJ=`9ekCȓ{?Sj,AwfhIw%w%0`dxXع =:1|Q)Ux&2,"QAi/@TRaTdކI<8DsZAr{xk1%7Љ ji_bP%3%u;EYEt}@ZhePAQ{N6B1-HllaWsQd~A8ЏzA8{`NL1@: ^7&?mBsvm#T $NB j{/BBgK 6o/G="zyJ;[SNv{mޖIb۽RRV];BTh/a;@[B_U#ÖRu)&JBqCR$lTS+'*E y9أ O(=>zUvLXшa;͒bVtb_ M V<;Y !sNTqow;_b#o~X^ {`TVUb+RŽ0)[/vlK8W+Y}QY'|wiJ)xWuO:(|p9K|vR9S434LF9#wߌ'^~8tK,|Q{D^u7pdu礼˭ؽui <٨ 5YOŪ@/e~1A!;NIX ;]Q`z,t͞nJn4-υFDŽs8<9ܹ5L47L%ms2 Gay}a5Lsu#5nԫ{+(=!<_o#JOix׹ٿ͔l-y$v["0Hk cE @zP*< Y"ߝ\gYZ0f6766a06a913d4b68860e9cf4546fbcd3ff8aa678a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc599cae5228e4588b9d3309077fedd4a26ad6b21247  HOLCF