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   Q) T, m/ Pop_Refinement:threads=2elapsed=9.344cpu=17.216gc=0.656factor=1.847zXZִF! :]ŗXf1-/6vR[2y6ܫ: AJQtfMuG&[6-"w ӹtz |E♗Xu*-rQ,󂇝PwwC$+{: Lhwm2(]Op ?1KsH w#>40y/Z%E8%qu^c|iG?T2 a-J% (o['8Ʌdh6wArKL{A)rC"`~qZ#S,:&_ώUlyt*s{@5t٭[ &{ `CijVMQ %+/G&K/y$jV+=+hneC*Vz3}dw0Cy5 Iڮޏy >7ambi~ga师QATZJǷB)C4f9J'ڬYW?6sbes`_Ch8ZҼU73]x]>:a/='!IwѿI&Qa^*O c-_W,]oU>XW=g^=y3oqvJ-Hϕb:L.pY/0pEi=\pπ^o)({}Vbќ*M/i#,rf%IT4Ǝr՘kvy"NRݠ*-ˤ٢Nu>ip5} Շ9In9~LEm9aMB'a&fpK19.;z:j8Ţg t^oıgYZ7zXZִF! 5]ŗXi%>m1A ^?"f$UDwTziSHpUAo1nȔI|S[a|v7X \'+j hRC Igw gWLI R%}j`;g;p?sTAGk@_ea3+Fa @E˥hḾ_[ڶ&nY^'3ɭ\`:e!9C$Vd|Kqp=s9%uBcr}!M3O# >uט<Ғ\TJqH3*vlvO%b 4 b05n]nM<`~`tQs}|K p9sT[ѓ+Ud{u'i p%ql8pm"˵q:rZ/?& +Hu[dɏF# @njXD| S3r׽u=B11^SDd$xR g:\[Vuyq%Ĉ\#YI