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 r $< ]S]Matrix:threads=2elapsed=41.339cpu=72.256gc=2.904factor=1.757zXZִF! "]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxkf0z\&~[ ^قu3bR$~^mE ,̐WL͘hl 8μ1(`ά|83~2 H"v;#ѣNΊ0TwV`|2.+ oDUa\d `E\%<4t{ƁWT\x9ecڽ9~;醙DۙOq1s"n-#O~BE IO|2x7EeܶN.ڬ׵w-x~~V   MatrixI0M_e8ަ 6uk]XE,8;p$ɻK&@Dy> p Sbeg\B%G4 ?ң>fG&7֘-M}4Rv@)T}lbN/yҏ7MRBT0#0Sgn/i"XOlK-k_+e7' $VM,ukIeX\VoFG\zm^Eey৻D݅8w)&bsŠ,K 3ZpίH DԺbx 2>h`h*>]EFaARp#u GY)e ^nu`J}RI? "s܀PAORdAbHg~$>Ҫlb(w8m" `."8 'U~-SM  DΨO aC(Xˈp$,vAhCKK ^F}}87 AY>=GHeDI! gYZ7zXZִF!  ]ŗXiɟReDH$ 3gE= ?SfAaפ塜·G!hc#S^"i$. ThWU{c$l2_wTb | d߀SA8"Lt@[|aiՆ!RbPIP%2L 6V%.m''N';# a=yqdz_$6\89aKK7S1m:<p=;pIjmiK[srd9-3-ψa#MNߖ  'f&Eؖ)d fYO|H)޸2S  er(JeZLyаgL tCgE]3 S,\mZI2Mg!9w]tpEۘ "_<,*-幒j&sD 7w0{cO֤9wItePQ1dn\tؑUFȸÑO*ӫ`aĩkx>1XT% \%L|x~Eg  #aυ#%M+>8e^hk)7{oݡP~Hmzo}\qKL^MftcwPAfY[R!z0ND~ K/Vz&+E886 +H:_<2/3xKiw6}i@Jxpi7 Q=jR}{ѐQ cwaձ4PbGe,t}r9aE*"F3{]lqw.k}Xf3 ~5-tEk|^Wd2o1-=9 7N_jbUrd1w\#rCUtK$qvL =\)yfA ҿ> o}O idzW G9S:U}}(NY85wCTw׻_ \DA/9.H 3 t(Y߭fQڥtX_'Taw1^R*{#!Y . $,Fmu񣩇$]|X z}}7>uvnZ q0 $HpE_ػnR%)%)WIv."]"1%t,gYӻ0͇&PNm ].@d2KmɋBjQǴ /7.4hfnXqFJinȀ]P{:2O5{tDU2σ kNvzxtP泻r@\n^Z,B >^%dM cԇ`/