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  `+ $ ]/ Binomial-Queues:threads=2elapsed=6.627cpu=11.288gc=0.524factor=1.707zXZִF!  ]ŗXf1-/6vRZkc- R0vPP OA50is|bagΐ̊R:\P GUHOG]NbĴmllɣNSާpdd%њvw}9鞚¾nc2)I*|#Ĭr0a8ʣPoBE.X}Vp=jv26Nyzsٗh˲,1b-c!ď_ "/&ethŲ6$pwxQ@+.ɸL gYZ7zXZִF! z]ŗXiɟ:Jc6Gx&?==Q7#O#Jt*\?&9Enk <#BɈ[hWԐe$kr炵7FԼH5tgYZ7zXZִF! .>]ŗXi%92Arh_4TOp{ O-UĬY7e}_( #t;ۅn&2Ss8iI $n18>Tf7N.oOI87/NU o+urԺPI1m(C2>!?tfk+J!4m__Uzc*e*UEWa Ȟة3@,as-(E,GÏd{k{/-/fJCRXVzL;ecz{[meTuyVz4?X6mpx9~7rZ̲Q7-Wٚ~}F4bpo 4cS^?]/#AyA絪]n/?|\3lt`ǝטJZ)[k'{(9Umfa !2FqZWz.aWn+8ČyB ӈq*_xzr۳:;s a܅h({ͭdk+bt+9p wFSmrmdwLc0b4QԍBS΂~gOj%E!r[Ϳ6v/W%YB2'qc>q2eV"{#Gݝ8WS#o`_*FXT\IӢ1b)sߞY o1zNnsɥ3!3<+`g;"Z T "nFC[n/ed]>HAlT]]+}<gYZ0a08c8cc6192658c7b857e02708d4ff76c7dfc07f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 + Binomial-Queues