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 MC dl % Boolean_Expression_Checkers:threads=2elapsed=16.197cpu=28.656gc=1.804factor=1.777zXZִF! v)]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DFK1ba>v}abL|$ j]x-$Q0R2p `FWoUs=`]^y4)hI;!bᄚM|љ' hf:ᓴUwb/9Y7Fu脢6OzeƒQ fx|GvH_R(_\1i%-{wPL1 1ph&EBfd+ng쥃J{S QgYZ7zXZִF! R ]ŗXi%6uT(B.8^?z`6BhPHEu"WD s74+dULzˏ́ze=e(N~ZB_+nP"n#|uoDO |qr.FrY"w6\paN!N[\AR0o+qv:E\fVI#͘Fg:jp q+31'sI]A;2BQ@ Ӹ]9QqkWZ~H=rQj'QfVƈL²/B+`H$b*Ny)SPC5Lըhh @κt @*83vPZEܢ)9cY,$=)Ԛ-뽌ڢ jrry}OB[x 6/j©:Ƥol0PF(*rԳ|,f'dK9g̚+%Gfj =\-ic%]O toеRPПmg_@ ;ZLp* T?|j$#,xPpG+æa\۷RBDd'yhPʹ4"L0M5nqq/Ze=nDxqB La:hOŒ)tf„\϶GTBR6h->U <=iQzJfl*82&~IA_>Wq>~JZ #v*)8y=FNwk!f/bdQ"%yi99ǨIf偼c{^nW8 fIhsNc Bh Ǫa [lP g"˥Ufmⳕ( _:eWENG-F+a2 ?ޕrVMǏ_L$Qn;UW 1o$ޤ豱# /ϱgYZ34d8beddd1063e0f88c3cec18d55bc84f4ecdff0 5b7a8a74977f35c97745ff4512f1447d08ad5d6c 5c35e753de9008821a6118aedcc339f9365e8561 a8a565c4f899fcde3ec79b7254c1ad9f09f50fa3 f9a59b55e84d053e7eebed397fcd3b207594625fe4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b C Boolean_Expression_Checkers