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 B , w]LTL:threads=2elapsed=28.690cpu=53.456gc=2.304factor=1.867zXZִF! 8N]ŗXf1-/6vRZ "@`$%)U^Oh'^C'L0"boljJ dJn ''!?F}0)=b.хq\ɟ d?A$9+& ~26DY%G;^yxv:sqxB$<,+3>eh$ԇו49a =Gi= n77XfFr>; a=ܠYH<9z Kӧ1(kaGu V]|R:e/Ӟנxe~-^JS4)SN?QuuSp1ϒ`uP's=kbЍ5iLSJa!ϡc o?]kTa}aewDXZW+< u%[Sn: |)ZmH  [/TFf@0DII[rD&Lz ->Y9IdF*fc+DNCNuT3_6;;af"}h }Ea+0+|q-T_j蔿c& )#vlj\U^*Q R\) 2þ}9&`;s"wsreO~(Yʥw:= @wa|Ş!MJ"x}1LAI.R8O" |e+G?bgz0Q~5>9uî1-1]"1^?RE) ջS.S6~hITdbytnZ.Su :N5 vܱhx sd7zmw& 'iקNUdM`ONˎOBk6ir"݇b eȵ#'vpPq=I37p!I]b[w@>kbVzI@^ 6}^y!~~T! d I[޶mJksHk=' 0RqCnn._,P-AςBQCb脀TW>dҲ0/qt2lJ1*`K~ќX7Bvdag|_un5Zk\#ՋMHXyB8&6c@5wtb>jgя tTQNr!@2^® G995v4!v*;'@ǿ@l HFۼ?`&٪^<š]2stuJ߰;HoQAP5|R+340;*j12S@ӖSn'$ȶ́&=|S?<~vM)QB1"Oaޘ䰦!w'&;;ժTa0> 3IEMwc\ܾwqtj<(R:=lbzt2*ݞz y^X`!Scv[S(Vtarp5CE[K5ngVR$I4 e;) 3$)!e$K(H%"7NԍnZ"ԝzhgYZ00fd14ca9b781c72eb16aec32e3f4e722603cdb5 02693cbda30a7a4e72da59fbebda9da8acea4fcb 6540e6e73c439215113bb52c542dd2629f8a76be ed67544291c3b35270e03bb709338e31a6720914 eee8e3ca0fcf28de481b458d7e68949f7f4ec678 f1454bdc50e5e17a7fe5bee3c7612c578028e747728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5cb4359cc7cc729d063cd6271cd799b690320559d1  LTL