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 g7 , Y/ Abstract-Hoare-Logics:threads=2elapsed=14.319cpu=24.100gc=1.696factor=1.687zXZִF! 7 Abstract-Hoare-Logics |7]ŗXf1-/6vRZ\vW>_=֭0\{1\63T}R䙳;\ (U0D$M g@ }lu#"o݆SbqY&g=|+z<4*c{/v$mʹͰ?1%0W9(pGA HޣĜ%d4s}y=ynƆ hoO;HV{\BBEN ̓ Ɋ ߴCb@j &qT2g݄E}ei՜Iߠr~?+b;¾+v;ifvKxjF|Hr2J2"@R3ՍWy$3gw"u$Hc^+??p^]\Eo]OdϩvHswJT}^<~%X}Kp1Rʋz|̜k/X9va;"u_ #V,i%u(>' I"^s `iliQr/ *mg5GֳKOwE{nffT0,f-[4A*c8MoLkXUqx"[\ !߬uB6Ͷ"u{egN?H*˸$Fqk|#tխ/ԇV DMŲLV贆pXqg9mwNZ6=ef_u[ngŒodSW dF>ikLweZ?G ٲ&<_>tjb4~aPV8ă9%EWE~dj@JV]}5+bq*"ISU"e-0h.s4EBqPS5n,*evTOaWވZ}+"b/f45||ǧ,d~lD$YIa|ᰵxXi =u`x $nQC>T zR-& : sUwֽQ;.l=ۖ&xA8-% 5d|=;NJ AEk>-Xɖ"`䱻Oi"s4My|}RtbjYT4}9OkȜGv@~adb ̵[:O 10>:B;:ɇ?DCRGWh:Wk2EZ"VR*$\|8ˠtki:)EɊ]m~K6aFNTfQz`7:cΗ"4ϴy6tP!+ҤPs=OQJϙXخΌ|MNe܍OZCO)>;DMo{[W"Xaws_*p퇤Q1(axdϡÀ ;Mnox# Ӥ / 9MܠSb zÂ!.ݾo-e4?8A;Xԭ */q2PeXy[gINhK9<8U]0C]E,|0Wa+5*8vZ.)dy#׾>ݟeW|]4"vJZEPN=KKx0{s@a;GNN%0=(t:0dq5<)LiɥC@D ֥p*,0 iAݜ\e ! P92'ҲͣVP0Hk?LVTLu&zx:SFs;?c-mHoU(_vDS0b#ZnzKLX_.Z MpvP]BYa Lأo