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 -EL4 ]S Formula_Derivatives-Examples:threads=2elapsed=37.129cpu=70.496gc=13.232factor=1.907zXZִF! ]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF:;D[h$o - 9H0Ä6&-4MIrȻf Y3 jlf'Jb(PЌ -]y_A)k,Q3}G HoG%hT=&Eh@E^D5ǨJl=7 Jn^j>0\} Q PsX0Dmf;*ԣWDLo~6W7Slvjy‰r. ය/|*VSp')]{۸9h j1_JuDL?3zU!gz'}5@/*ҋJ0 >%= nArAv.eKqp\^_:Y# tOAW4{X~W`z~R\v}: V, Q 0iVILq+)w gYZ7zXZִF! ]ŗXi%W~ĵUKb7ۤ;uXs#fZFbhĎh媆 5D_$ [ m[܋@JUged2h9 "%+jFn;V$=Si{ -zY~# g sDK)I08F׷EPTX ?h? np6Zu@a^iْQjf:÷^ (%V#^XhmyxDɷMQtdVlbC -jƵT7P4rc@B4t(*5H>SZ-Ӊ"1ᔊyu6,.?OH[#nʻT,P D6 *X̥w2$c~c+=r\UқC ^.@#\лKE~ufԮcCMs-*fk,MWj' -/.%34JP?A6=dCfAt"`Eczn̊G󲏼\C8A8FF.DM(A=Y/wbq:,k;VӲO*/F;~^f~ΐ\2p|ۀ84:: j[H*&,޶ +;c*c y?[:H[͆aJ ixZD7 ~9Ec&O5&@mz IqS84`ȭLJӌʦQ|~MQ!zW_/\.\`lϋ^NH5dgf"~IQ>(Ucf/тґ~c*$:5`7&ƧzV}bI!䄓MΎ\G)LؚZ+BAxa88(\g{fnm3IOjodQt)$#G 2~dʫP{6OBn~i*?s~ϑ1)Y3'm)7;F:GcxPܟ|>v8J'^d+$1O܆Ė? ,OsQ*g7 ~? EfXĀQ@>Sdk.qW7AyxRRrI9\""a}VI&u>/t4NG35E6 3Xw3;.U9z.Gy)U g+ToJv/1$-F)ue=* x—3qAk¢-x$Mv@ zg O|Cxm=z}"C|-ki}z~)O ~W0|aUYvkF']Z]6c4Shex l(&Gs&khF:*iFbC804U.Sλ@ώ'S``Ekp+g| N: hs|j'A]hhۙ;L]t֝M%a܇PU<1ʄ1:MJ|l I1h95k'vJ0P$/gѵn"ۅ/+LEjJS{$C\ށ%jW}2nݾ W&{ Tބذ4KoR's!st֔i.I"0\{iL:6H\c9<T\v.0BhAHwý.4sPI (onJ)1gyG ՠ6#"Η.:+A&(\ `