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 22K- $4\ ] HOL-SET_Protocol:threads=6elapsed=21.483cpu=88.380gc=2.068factor=4.117zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3Vb+Ils)PʼnL9"ăS̪w>sL]NlڨO-A@-0BD[lۣ15̈n+7W-PWklb/Z O|_-E)XGIu=}y{۸T#=AUAfCx*!X7BAXy}kY?0utA{3p$y"2Nl0u[Yu;ɰ=-DnKUWYܓڤ[gq; ”pa!<^]8Z3TY zgu<"Ӈ 4c&0GK84XtNcJwStJ~CtAmaS LZx<_S= ͭIZj~h-t(Y {fC=8t\$#aI$bK7f'v< EiA7/*J+=[ g1>2s@q)X) dH'Rg8)8k#:,wqźG*#EߒěǠxw>TY}\#KM)+͒`SB'qe5[W| `qd^wZj uxK[@N܌ʖQ,ƈgYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxx߸UG8߽S@.̚mK;9FY-~UA.}1զ,Ɩ'{aǴ}{e_}{ٿ4?II@}=$ikvm$Y^msW:~bV&YD6B_Mjw:׭gYZ7zXZִF! gh]ŗXi%6\y e仜0+ʩlC~[2]䫷GΎڿyw,o:Cct5.' ֓p3:JԺ;ho *~^;"Nekm4OU5Q7׵oK~]9>81Ld{Ϧ(f0Lb!Rnx/c,!^P|dMNb,b_hyeWOJEo5C&Ir*V~ ~6@s֡@H[?TwZPS&Ǵk^`79%26am 3q {b0As}*AmG-23qqA;{N 8%j_[Ng4lIo.y,lߘ}#` XE9I1EWs)->BP~mܴbc1,lSXY}b3ttK{xSn?jdyRY$-ĝs=yk $!aġzN[V`p0@+#HkYE~TqNZe^<1LC- E&& Ş,4v ԥe@N5MtM_"8(5{bNqu~ 2&4cWBDyu &6k;|7uQCA XwۨW9-1:> +9Ƶvv3쬤pF:C Bѓ-U5lnmz} .nKI:+A-j ,PLFR>WU qlW@W%w++!M t^}!v aeDhOW.AMaGGu z\υ5J ~xh1&%3GG+'MpחH`TY˂~0P^oU̖uH_\~e탚n6p'cݎ+P(k-!zQ۞Tgu+#Q*T@Z[^9T.+52n B4Vy ڿ~dsq5k\[c Yk9z~骑"\;1T>na#m-PV,i dg]ڭn"!ڂƓ4g)P.45GG En]LDƿT=ĬdDȥJ܍zi֛x]wRHض_H6 t/Rs~3HP[K"Q <bp^R23ro},N*PhA>QcŢK>kUadH851T]n9$pX«*2 ,鮱3Ző:hg/-_ED/%g8fS7൛2