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 7 l4| ] ZF-UNITY:threads=2elapsed=16.270cpu=29.632gc=1.012factor=1.827zXZִF! o]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jbꎛNf~O<<|b-='4(ޣL׽~jb⺛/>>Z1i_S 8g?F9U?jH-_z?ILt>PwS)AM b[.ގm"#%rXm{7<\Ϝ[RXΊ4iOZKU[W9H>2 |So ]->||{^l1\:DfR4nv_h]*Ȟ|$% >ȲePs@8CQ^UF]V'㪡`r]B!1%`O*A3Ca{䱽m^ӦwJ3ԥq)-o, |)VWt@T~yt=o/7uOXӢϼL?f7̽H+WjtS/^A{m!/F/7\QvFt -hضfRIU,U{憯:!`S~ M"1kgYZ7zXZִF! hQ]ŗXiɟ9 i:4'9Zfw4 _.9\U*D| MXY5Ξ¿I/ S7T,w(K6~7Re'gϓN$* hFڵ=zoc-4xf3*gl/p?Mc5^]'CNW6a&TTc/ pX1(l-}6; ԚjvKɽ&_ٴ8!QosT_ypb>΢cK_|DޯC7=|lNDrH YnM(j,N—0 ׍:d_"rR(A,8n% gYZ7zXZִF! M]ŗXi%97]iQmQN u:r`_-WaZк8Ny٤ʨhl>@VbJ=/Ӱ A](wޖO6ʦcJ&3<zC) fLnϒt(e\pǨ2Dɡqcf0Gۤuy?Fd D!A"tyo6 A57+-58fBT%-vВ]jN+7\][,A #50튼HqFFKO$I&Uw0ɩ@Ng.FmC6o~'+@*uqNBJPEєs:0@çrtPYMҋoWukf;jY;;`hXMD7e|08dj(Ov:LN_~[ 4@ J/?jNF$ .fav'ǥ,\MyPmx|U58du! ֤ɣz?gZ-!!Dƪ/ c ; z10Q"F?^iga\L@Q/FUyET ` (/$eãA,#GQE wF9u h o\j9YDv5JIXZi9~՝3am*BRqc|Mxم\+vG@&XX%6JYة T30 Z}_^vട%қp$ǷE2ː@`Yӭld4FGWC=ACu'! z٢_fN"aZ"kN,zfmdA h!7Jpht8差v=ԅ+ iiaKO%y {!X,RNibFU)zP=rYp.F:!`ڇ܂^te]A_|yj>+N*Gx£[u@0sƦjUSO {@gYZ52460f4717382c2fde9f993d270ed7bf8a16510d98dd477b080148668828b0f67c6e8a1d9708b3f3 2bd24ce6076c349b4ed706e0100c71124252a530 a64f6688bc5f3c80f9ca9a0aab04c57ca2e6a76b   ZF-UNITY