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 S t<, ]/]HOLCF:threads=6elapsed=12.690cpu=40.940gc=2.972factor=3.237zXZִF! :s]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Sx?=9!=d R3f~Vd0FYMV3^JmSl]j velWiq޴fnV*hS!O]Y_>̶zѵLԄVA^-u}-clM>FUrUuп1P|>A"&9I;FDXnKb[ ߡeƸGkI 7Nd`ΒMJ.Y(OjÜ l-b \f%܏84ቶm8W8.9b+ /ID/+G*MeZ2}"$eLw.l2P Z6% !:Μ}>jSj9߬jfi> kQI8Jhq^yTS IB(4۫9D% &&2fZ*t|Xઍo D/n;gYZ7zXZִF! U]ŗXiɟ>Ӈɇ9S2]f]HD(Ob+Jةʶ 7/g,ȋ= F Ntf֊_p,e\o̧Zd-E-wM-R1om3S9uk =ٸlh&O4!謧(^Z'Qf0?ѪXaǪ-Fb[[uu - *pB> 8!|M}R*yߔ5+qYq%|BzMW1laE[pPRҀuy k/) *O:@=Т#S}Iűa${3\qhySJx[ULZ ߶P_e4tlkNjs9Y[`*#$)zR{zlo+&BK㨝Nxk݅yВFI{R{z7y[2b8zwP㓛c_镺~Fh53Ih1B`>DT?.J˂k-˻P96 dTHiJAT^lK;G{;@&-:gYZ7zXZִF! E]ŗXi%GSNo$y Le|;+X-KԾLyO^sR[kc?.ڨ<2od(^w ]XžA$Q|d#\ ş4fz:]~\ bmj1wH;Y tm(ƿvfVN ǣ?uYsR8ܤη}*뛗N!q$ã+b;hL )p(bWM_Q`;ek +F%BNq 7?bz&UE!W'j͇SU'ƨ9fTG|Kuw}U+C~y #RyFVtE桝BGfv]y ~=e?~1LGdCL|\:<@" CSbCbȆ 7lÿ A:2mYD vN5 nS}&c )7-t}DǑ.n͈LAǾz0@D䑘Cx`.h5b՜Z 2d^ՙArKѓ6ʯΤzv^(9Z4=v2Kjci˃4v&&c`m&hlmCD݃f )]>6l}oծ'Q >ttv'a T:8nԽDm= m*~2-]qXNt5p D )%j_RķMBϵ^ډې NE v9jNw-A 3dQx#K?_5bmbToY8Zqǡ.JLq Z U(A't%]a=R;!= `fBcʉ&O) *v=pkMhqFǴ؄[(؍aczW bqI0zPip(O67DuirO#)ͮ>d4;l;L$ :&>|]|Ek.a0>%Ix9S1s LN,X}JP";u+^8CHfs (Kd~e[NS }gYZ3db711fd825682da637f2c608fd334f62fb7d1c11c6f2074cd6cdf579a3d3ee0e0c3866542d97adf dc5a1495e230b9fed28df216f9bc9b8936ded4f2bc7807f47ff6e870c858158eb0e21ec1cedb54bd  HOLCF