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 dd m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.456cpu=22.536gc=0.740facto %Q CryptoBasedCompositionalPropertiesr=1.677zXZִF! L"]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!"R&TF' a0DUn`ɾ1;8 8耾b#c4TK=Utܒ.:Byrw=fPE3 |؂(̝i3PւTMpIn/ Wc#yxD {l_>od M/hSyFKn bz$ckd6\U3ΞE(9?x:` bUʝ-6vGA=+p44:UCC4{) mTMq@PJcjP0Xr`oȫRɩ["Vq>ZQ|>oKpF6OR$JNG.h-#",ܯ!IM^.V]e5׳3]dO4uŽ VZ^Xv zLn'ZxJ9m+NmqZǫa xnNԘ $G@8EA?"g/*y[ᑈ {TYatEw\ s$i8=:͊F>}E>c}і>qcɔJ\DMČgN:ޖ07yÏ͐o*U@^2[Ƕ:@ώ ~z= 4M h{: +sԗ{QD8x]%"O$|MJ[,+=>U!ApyT .̖@e[\Vۯ:ʎ4MsBh֋sHa*XEΧJvC᝹zϺN>gk"2<)Qv0sԗ@HvaE RL@vs٭\D%řG'qZA蝳)% ߆N`Yk+Ee ']rgYZ7zXZִF! Hj]ŗXi%S uR3!sELCf @l݄=Xz.6ʶ]P>^M3 LǮxx ˒m|[!i.5l&S5t6K=Smz❖;"͚Q![w`d#͢OXCB&y],)X_47 CWhP*{:MC5 S6kck-[PJ6{Q<-Io9V9MNʰkk0C%2 */wNʸ}M=Vx^f@_ kO[1{p9E (QB6؊OM,>ldK5r(<>atW3gZ}Tܘ?NguUA%N#@{-\2?TT E*$Yaԛ/ñ[CR0ƨVrۨY*>ɷX:[])!Äh5 u~63KV-= nutDP%21mmr+ ~}󢹊mb~]sqIw8ɢiەC+@ SbJnI*V5:QCex6IŢF}4(l V|Dnפ MGJ_0TTU$lJ0J&atrmO{WedR Yӳ|>U^\&Z3C6%%}iDSd>e3k%?"^\'-8[Є[uۤpTP`{z9crFF{o|)4=''eIw<i6  SEgYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 1f90b0e0086b2d0384ef5bc961db45d0c986884f 481bfb7ae79433ff6f36d8db4ee3f8d77acb2067 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b610780f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4