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 ''V) | ]/ Resolution_FOL:threads=2elapsed=19.682cpu=35.452gc=1.476factor=1.807zXZִF! h]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFm}ד!'_;,crG\-؏FEZL5S&%鼯*ooanw Y'mB([m5;?Mº`lLY3B>AŢ M~n^R}L`ɓqEܪWےjyWg*2ȕkZ2Xح5D5zD<3nq*#'m]S'ҠCiCم.|G%*m>6t]Z+(3Ks$++89RH?Jybx&QgDVAN cRPV6DsbV%@+ -Áp^$2D#V ϻZ9Rw&x@~|՞Ox,<[4ٔ7lQK$7ŖjHyhX/0|wݴ㙝_Z>쵌b.:NܥP 28մ_WJˀJN;Z+š4H/9~ccmݷTq;gM+eOhΕb?>Ȥ+}Zl8kNkf9cRӆ _0}DftI4rd9;=$lvQ0Z8j K 2-i^ Mu#e)nGAtXh<3 o:L҆Jꟍc'0OF_glu4z#H`8Wn'*A6=Oc(o^Xh{cU.dcL [DDŲiWŚ[L:f9 fl%h8(̔>|ݹ>t׈"υ94v͞{mя:_[Y23O]3sM\ [ĻN*wFb/.bŶѾ.l2č8G+yb;E) F yJP\U]mJk B٢lSٛYig3Oz*0W<h)*{5p۷+xA1x6i6ܾM#Òt?{$ w?D%Rx)z,&2.cq k2<]ak+ȯcC~[[]Di-6ώW:#ܣ#QD? 4OR4fʼnlթ1Hh(Is?Mwy{e]W Ҽ~v8_)Ei2%8wQ u,J_%Dȁa}F66 5iL>{D`}ōcXr嶞f~4UNSk9v%qx\J?q#:eC&P5n;tV~T@Gv'Gۈ ӷrT\46;@e,; F0ޫ@0 Fs';/^햘9(/Fҗ+U푷hϵ?P%E1g?F=I!R|yPtEZT]NX.A᧍"ze6J4