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 p \<, ]]HOLCF:threads=6elapsed=12.541cpu=32.448gc=1.908factor=2.597zXZִF! (]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&Hdh6O1жWt`(d3nB챯pw Az𲿸4Ӡi0>XP[Gm|Z0yh}dk~gvl0c]'q @n/̜M}UU֌S`n U3DE]6  ˵uS'q~fM12m꘍,gYZ7zXZִF! ]ŗXiɟ>Ӈɇ9S2]eOh0q=2xZgF2YTdWL_Z{cSWYB=C $-FpOi*k]N.sykD{ej"l#-P 7K; §HGJ#/7,LQ%`'.`~ =~QHO9= + tItVψ°396 O_E;aƤ0m 4 S_,GKbpȷњ`e ۔"'ܤJbf_Lfd;-Wyn^ՂF $8)F {x11(\:+u57dkfJ*KWpCK\Oq8 ҘF#&x4kMޣl&q7w푻^.>J8J L*`cJ+ɂTL,Rw̾9-9!.@+SsgYZ7zXZִF! ;P]ŗXi%6So~@'roT'~XjTXU{th68Cb#~5rVcZ8o&l@<>̝ Хb`o+'C Q2mN6sY`Lxh>Xl MgS#(݂U~CnFj4;TnOq/x}h[qnVq\^\P`e;clC$P)0%ӫzY1`^\WC/il%_[ KeG &]"x~ڌ6sكX~,,a8ڋI, =jH@K52 PqUnഔ8JYbsYvU7lGn>Z4D{3:l1kzdqW?FF*dl%aChozm3 LlǙi%۝r,[rEvI3=gYZ1bcf8296f24ca9c33e664b219b04fe96deab2162bc04ed3d5e3d39fc11eed643c195af42cfffe6e6 af27b793b0e347b7ff6acebc98cfdec3738a93c2 56c99ed97f96b6895878485285d5451853e4f70ecb7f04a220bbdf550fb17008ff4fa2ed0e4a561e  HOLCF