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  e1  T ] HOL-Imperative_HOL:threads=2elapsed=62.549cpu=62.328gc=2.360factor=1.007zXZִF! *<]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvixbS-ؒI3&)dtm^a畿׀o*!,&M5(% ?%BW'U&d7[jH-jBϾMB 0r wd~4] ᴁb *6>2E@e@<ȧ7kG>]  D)VfR| I_K_dQ_u;!roᷢoHo4[+:Vw\8sx(r|3D>v'K0=ؠ^-ˀ%_hU+b 929ڎ=鷡NmTWЧX(QFDHV2T76xh*PUJ\vKZ;w>7V9|z5'nn|HZ'y X4FK 1 QyK.cMrOCB< :9 tyK|DsԒ0S E9笷RUX?x|tP7/ԵH\Gӟjm k6$vL:t#ٕ•wҳ%:sychVT@,XBL)'f0ت~()P Ӟ Y0u TZ .in5Vg1̴q~] 1 HOL-Imperative_HOL4ᄍZj)AFol؇#xڏu]y}UAnővF\ă6kؠ PM\tԬ?nJTUO욱B-0Fp$X#>`xԋDvT40zUMۛ=vskR[2[dt#F˂1 Ϛ<38N,5ڭfp4!”!qe84~j#\)bBKq~xp|.É,mbwq3O\ALC\sqU|En#-Jt B/hT¾߭+HzOU)3PKgYZ7zXZִF! ?]ŗXiɟ1nhЦx"n_8N]( eOtd7jR8%G q M )!!rQtJ\]u3X˜Ǯz usyr"z(0 ;HfEzũ 3zy28_3 YKt mhYB{ t:LUhdUʸ.N@`xBoQ/1TP`aƒ-574q!w3Q1yD<#uPRrjD#?s9q$VtE Rdf*%Ň {gYZ7zXZִF! 1- "]ŗXi%;s>gIR_JIf*}Ӻs!In0[A%#7.O }ΈY{pH~nI0 RA"+@M-ܶ^ ?%⇯)2Shdç1R)K&De"Q{?oX;aDŽg4vii#Бj/xK Ya m{:T9 ,IVt ݻDLVBv!%"$ԔR 6 Z*rx5XKyfI2 }]?ڍ^DKJi߯@ $Q)2F!7tgh,}qlk7"ߪ&hNĦӴxrTkn6E_8zT_G? 8 CDԽo# nWG鋹 AQ3|.@4DmK b'fhuQiW5S Z>PgMN0R]8'%lէ"RKLDa4JuIE%L^L: sf(?ȶMg|*\˩~*uDY C3aߣ \NհHow n]>uʇՏ_nF s=c]>k)o&m1GFJ.+[0pGbS[̨PJ} ]oqy29$5tDcϵrӚ#X>,6AKGr kmyPhb!iX٭[EZMC\iM,xxVS/}Vv&V;].1JE V;h}Ǭk)dE\O +I[7XHQ4- 7<_ !,Khn_Af5/SE L$rz\h:؂<ܫd=)ƓeK :b!284z䠼 )MX1^NSz6-0= cJР,ޔnuG߷/@NÎs # 0*Fژh6[Z?䄠ȣ˸rw ܽ6/CPz]˳k ~YE鰕