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 SS*+  | ]]Landau_Analysis:threads=2elapsed=15.135cpu=27.732gc=1.548factor=1.837zXZִF! xF]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;8HKR$ K>8wZظyXon<:F|rQfER`(29<H_o,,+n.~c{S¨ҝ2N=,>zv[q;'"S>bCh2 ڋ0-[MԾ >*^4 Q'.DO .?M9$GG=T0CֱyB';t|e02sų=$ (lv8  ޫ)*5TtzC|v!vbcpQmA< 'zXjd5ɗM볺O9X# zM'ne7M -w7Ph8yXEud=(Gj{Uݱ> S{1lk0SO*=W|`v;!9 }]P)8$T C&=h?,g}θYxo$@ksq{=Fjs78`t1ukU: YzgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 ?0)j4:Xj+VA1 Enw5΃yqO^S~|QeJxbY6gdoe@lFn%PK7ŝzKcؤV$jɼbzEDXAf_&sݝgWosnfr+Nz?BQ E3'WP|bHCmäB:H4gYZ7zXZִF! Fu]ŗXi%93M'X] U-I*2 J潞IQ;SYwEqҁiIyO;L}daяޓ^o :f78ÕFyT=nugiD,M#3a{3"9^1J9&UEx1~(\̿̄7Ss|**YL6 mveHVU.6٭(.ti1#z`6j)*ݔZm@vT&9𚩤mک) ηFJ{Ls=NҪw06^i>/cjTߣ] L.;L2|~j@l/aq"v`SQkx[!DDTp!V yPikKzIiKw>zO“, !Vf>vRO&){m%XXs2CHQZoA)чwI΀}ʊh,"aV~;FЁܧ)ܵoXλuZjϖش8@a,9bt 'bIpJYڳ^d7%YՓ-1|vC N`%k܉ZV vnipP;gχ^iT#:r)}Tkhi]äz[kE,GZ>qpD.U2ƙxơnrO_m VXz^`e_%y6xˇ?P^ΊSVm^ )=紳2R;+ܚg?!_mi] 7x?"OBhWRMa^~36vLy+oW~t~r rļӹ=S%]+{S+Y{=b(F˲rFoڔb UjK*[I3cHE