SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 GG6E |$ w/ Name_Carrying_Type_Inference:threads=2elapsed=21.769cpu=38.840gc=1.584factor=1.787zXZִF! 06]ŗXf1-/6vR[ְ8vd6 F^Hf.OH =& IuW~O#3er4tzO۪bmFj|n6n eOׅbQ0#T< hשYK,04AZOOF$вw֬?_d~oZ"}(o;V ۻ0+ONG#4TvVl7Cߖ7_Qz_S:m֔*54SLWX#֘X_/ؕ3V"1NCx[·oN8^?|I5['ujvXI'jl9:JߍU﷯h]ݿU%ؓuI4з SEBtAr\H>7>fk4Liru,07N{o9<}czIBG;өH]PWf-͑!RM~;v~П!}V<{i^0%,BYgYZ7zXZִF! sQI]ŗXi%6U+⿺$L^w2U{ -UiDZˉ.2D.Ӯ> wwB\g HP+] { ƖHxd!sP(l'buDwiG竤(2uRT1Na4^UٲM9V! t?Ɇ.P ;fbSWC*8:*8ѓgw鈗\5O;ucisJ6F)+&) BHF\!T JzwjJ[%7WىܯtΖ+m,pMz3L\oѴY1ZK^Slpu&[p~ 1#tw qhĭ"lp- P\?'bHtQ^ֆFͦ4&EOˁ7#Bzi b*_h̶w7 G).0YA˓ч"˒N(F=S*޾1QQ<7Vhsԛ˳g3_ "A2quS ;UƪmedvaxwT\l+XnCf}q=yC)s4M:xP KSqP)~ڃj»07+9mƑ_vOAo8ى(@mhqr7`Kh;HiK? *YFn~yf b"^QU/' &qVuHѶKO1ީC-V3l{4qk"EE?[/aAECcjT\'ߏD][Wc_sR AUo->ff'k H}M"(?*E$ S*̼}M(#(Xr:k:F#W eU+88ēv7v4V5Wj<$`q E8* _xgYZ102e91e88ea466703e1de74bca953256179affea 148b964a2c838a65820297769832f0a4b0980c80 73a60939939b91cf59ebae3ccfd3d8699fb9f9ff 8f7514f7f3c6cde1df8cca0137f6c6b563ac7ff9 9b8582db3b4568558b0d9f198972e936b8720ee6 f164fc0ffdeec85d10239d06ea0b9303feb82faee4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 E Name_Carrying_Type_Inference