SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 / 44, ]/]HOLCF:threads=6elapsed=12.132cpu=38.524gc=2.256factor=3.187zXZִF! 1]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA;-Ь[+Mf* gG {'O|pފ-4 Yy|ovm}Y%tY|σy_Nx 7eИ 0$ǰδ Pmcވ6SԽd%vLeY 2M|b}Y W LBk 45z,OvF25 0ʹ=Ca+,^⢠a:NSgXEǎ–swgjSDZ y2|r};u^n K9ad(h fJd~ǹy $`%qR o謠i8t|عծ)3_v1[ZI450o3$;+F`p&XND1A5 W(Bޮ @2~$] C&F xl?,mTB1k7+)ђ.y3rdL~8GhTxr#+ 7y퉻APY2a|JAm,-bBb\+vsO@Žpt+^kJ5f?[5=۠ @R.a"/"e`gYZ7zXZִF! R]ŗXiɟ>Ӈɇ9S2]mǦizetIionc]eg稉R]p5fw|E '[Z@DS4 [fvo d54eZUj2lxŧAك| xo$0i$+JL40sK7FH!j<05l P= xeIWA3M&Āo? h&&I}SG&SDrBk<[/>9贅v$S(  kH 25מch_@ubb]2Tz,B$# "ʁk;2pDLg6J> 8G41^ ӯ-,JHwGBpޛQr>m3'rd P\>BԽ),Xq7\5lag0mp#IU&25ȵ]lVBץ;|kʖY=6ݮ@IM~:p3؃A.p"ߗV!ֿl K +dTWYiyy"TtcsngYZ7zXZִF! :M]ŗXi%> VTq)xW!hS!.LC14(wr\K°$T=(.7@L88f`i@p%:PdE2ނۤWBF!'3/kkD]n,W9KXI-O, n2#Kfn' ;=qVKF}PBO(* ܙPPe뷙`mM(L,UoTF``d$1+Hw#wAJT @. rH;H:ԦXxT`Jc6JW<RB;|1Pᑮ*9?*$pdj3^TÄlAE0j9Rܧxf*Uk꘱j=b 2ñ,>lwO(Lˆ6ɹ.qy -_.h!GHq,h0|w g5!jhZK)% L ltT<%b$$/_=RmH^R~-ZG/E֚GqW/Y Ua&p;qhey({u7O>-%y)?&,ΎISMiRBû]4tuhyzv`oe_Jw$bsO% %gGy(u_SkE *W|ruNXuz3e)El%a|00JW{3K4HKRtbgYZa19f2d7956f56ccac647f28a7eadad6b99f7a2959562e4e089728e23b6fd144e8ae0b325e248d0f2 2d67f70bb6d3bc3559e2889263b4cf3e2b1e4e9dd6af9f6bb77dd521cd5b229c567b0b5ff7e05528  HOLCF