SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info \!DT ]]]HOL-Proofs:threads=6elapsed=577.978cpu=1399.764gc=190.880factor=2.427zXZ ִF ! ޓ] ŗXf1-%˓S,z!ŧo]uA{DlꇰwqIwbV:ݥs0 n03$ sMgYáZf/ MiG4U D(N)|LrcTǟH؇Mt%&zݠ^.24E,dϊ9gN0O!"r{ڔ^DrC[.xA@UA_iԾt3c^Ly H>-T>wTO0n@?Nh<$vvJ[Q}>{ߨ1g ń9;,X+v#~=3X ! HOL-Proofs #Capݰ£GcK,Zfʁ|ːB2+!XTf͟DЧWF5xov!0EhEnV_g$*n!ΖHz(H~]F{vnz0?8Ԭ2GĂUNlxr/ ˎ{$W7-UIxfQ0ay*U9? }q1} FU@L+NKj1ŲTW)^@MHmEG=.Ba{7@f%7QJǹu?6OQG3NkoX`-,}nE=#՟h֢RX' #5C\Nd?LSY5=STk]Em6&c,Ijl /䗟|>R]|(U-2}'70@Ne( ʅ@#эn7|tyr#>n˧Wz1tTv99z8ƺD]g`g"I^6 }ۙ}aɵVn4:CGỷV1ƢuGvn.p^ ߑM.}H&O>,jhq$DRL [2TT"Fe/9 ꐾ / `Z!O hw.J%$L=έG̙"IdLIäOt1EGyPv4wF5_ɀ::1d^y qNl\v(J-uy>!'seDE2w%D%[Oy]rS~j'UHzؠkj̱+o@TQKxey^E)KwL/Ҩ;]ْf% S3!EޘQlҁ:Z+in<;zH~4x6#3MˑDo{Kŏj 1fg9sOL(vld4#5.ܬgLCKG5>{"+Ҥ$StS)ؔd