SQLite format 3@ .  YYQ77Atableisabelle_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, "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  z z5\D S Priority_Queue_Braun:threads=2elapsed=5.329cpu=8.792gc=0.228factor=1.657zXZִF! ]ŗXf1-/6vR[3 @ԺU4w<0S˦pηr-Mdxy1[ rdd%?<;a Z^#tlJE/|w.X5. Q8s> ;bjchiW}Vr1y w~gśYRݷh$/1a1QC h/.~v_NIHx6q6VCxNTɾ!??GO) k=;ן1kۧ$h/-Wҍ= 9ʰt+ V;7Kn#4L7 U>De^G|N(y}!9C|&s`ih$&Rky@\?fw%l:)2,MƢZ NLY:?7])x=%aiy}W< " _~ P3&m\ȑNAF˛rU!s'lC$7\ .vtix.1)m[3M )*Ȗ }y㪙 xIwO aK灃ŋzTDtZF#GFJ:~sSwDR~cS4ٌuD$sV"EY4tn/ѣ˳ +bؠTJ}/v(c߀5e3=:_Xh}kG:?8⊤So%EYnHQu:-u#"̭k3^(Y7֓eK:6Ns !ࡵ[޸HbػܿB}Vdft ,"O3݃I؃A>iw^CPD]VYa[$^:*(:O 7ƦdI7Eq0.1o<'ZcdY|ParP:,IKaFgYZ3abdf2641566e6091191ce4f5677dc0c03379986 e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a fb5a8a18a72dc7fae95072da75a324b80b4a4a08 fb9f41bc6f2a978ebc5a88b3965ce177e952dfee9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 5 Priority_Queue_Braun