SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 2S tt / Noninterference_Inductive_Unwinding:threads=2elapsed=11.117cpu=19.280gc=0.984factor=1.737zXZִF! \Lq]ŗXf1-/6vR[y(&j-:6Xn>zx=M> |1_A`aBOK-^9j糹#fⲞ{!^ >S[JZ`Qz9$ :m4'3ý8 r}!(yT8W`߉Eab/[%5#c"eB % 1Α0_kA.Zuje3`+׵-4)?C6bv^{bD&;Vy)iĢ:[Q" AZ8s3APD䦽r!k_L"v(ei)}+*ߚ DliѥtQjD7RFG2i1K'ũ!*X{˂V#CÝ̂9[iQ|ݜl0f-V@7u=C9@*91, ]56iM9F͝I_YDgI*\aվuFުv 뺉֙t.!^oMɄ5@/0#;L9^2=vxzo[0z! HfK57JԭDΆ%ʆ)ޜf҆M6(¡&$cX(;[+5۶Ұ 6_mQG~ve~lc"S,@;4Nԋ;XwxMS.}| c˂3쉪ݥ(W%&c-2~<Ǚda%?>#~wדH4wIsữ3ًbr =n'C rLB\S {#YKCS(XJJVڢV,lNiqdCZ<SwGkYu D~7n^fYQ3P;>X-?;G[_I16 +(RGT[Oe(eCB>,kY^ћWz:A9Bj<5'5ٝcόzb"Q=$3${3Oü ͸XϱgYZ7zXZִF! ?Z4]ŗXi%m]o6{fl5h۴0qgl)bo ۤXtnRI8PW5#gRʬ#AW—/@VƧ);=G7r,Un-ZrǸq!Ȁ_,"& w˛Io#C7>˧?2R𑃵%/T C9y=`A(`Ks `tgqpLEw^Γ)"a?XB 'cLm ܸٛ9yI/o9?w0,ePaD~4SyۛFG'ѷ2tooHEt JM+O8( X8ťB_=*de@^-ߝ*s >_ e֤rPZ_K!Cb͹\r3ۮ3|B EzU- &B;*#_pP9 "~-@{ҟY+ F({/ Yߍ#ںYj%-2߼' Pu/Pw˞"fY̟=c430)j S=HsP(TiuGNEMT*cH7>D n")B5E4Ĥ[K@> ߬݋ֶ@z`#p/uY誃hyzn`Zy Vy&cZ |A^O[kQDTg|V(ҾV/)C5D.{zOdZKY3?89M@Rz^A= L Tp=Rsp#ە(l)S{]=<1^=U](G79O&uhAq{$E ~!NgYZ2752838db24f4e4ef7453a20d6c287eb22834a03 4e684f2e08e3f6df8919031dd3f14765925e7821 63b9332e0c2b071f8797a7aafcddf15a927e077b a0209cb008417d27a08a814859edb9db1cc1f428 a6b094d614f8a6b947a18a52dcf98ae62ce29df3 c571be726e2b51d61550b43ddefaa284ff8eccdb e7b38387793d1036dff1ea224a9476fb894216d9 ef1da747fe28e872563b4d4dd6ad351a77b9924ab9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d