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 q5\t  Free-Boolean-Algebra:threads=2elapsed=1.156cpu=1.876gc=0.000factor=1.627zXZִF! wh]ŗXf1-/6vRZR@:>SyR+HwcLYE݉^2 }202>|9L!(Y# Ԗ4r÷TctL&ؐkA<ڔ,:*WМyH`(T2\D $:BHǩdΝl=O`^ҩ a̅(W j9ISϘ?ʡ拘vcAFX1?߱^nib_Ɖ jOoz) Ms9;|A@H}]t ꔒHB#vs a%GT9v-SgYZ7zXZִF! ]ŗXi%:4n^ HO"?*0 kP{ IYs\wfn(%2(&~;揧awxvԑMڇ9;>^0N0rSUON{Ca~r4BxDnxHԘBgȾ~E!b&zJ^6!; Pt+@_勇kecX:4<3dzwfs, NEɾ%[] R4ɩ" c:Re$*XL/tٻzC=AS8>MH@$U~ŸlgvuV DǾ) 0e*ĉU%x ΃\HV^vwޛXY??sI䤔K@S0'?Cp2ve29(t@N% gYZ604e0cfa691479812da4652aff7aee1c24f64a3e 8e39d8b371bbacde51838f4453f2fd93cff350d2 e79a50293a173d35c3f5bd1ae1071e4a6f757ac4878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12