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 c+ $< +/ GraphMarkingIBP:threads=2elapsed=25.993cpu=47.204gc=0.752factor=1.827zXZִF! ]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2WhK/cn 4 cKieCIko\`ԝ; V^w>o6ZQsh!@PF|=:qN! [|/>~5WU21O(ks Oe9WoNb @ů%/VJ ޣ5;'r" ݖd݂r9MC$Mz"{0&cՓ'2_@BJvcGE{3+z}|xUYX0sX%QdZ"S$]dtbTx܄QNQi΋^3!4n-2Y"#LG$({j~D_iMޙzNjmȾ^ f@Xж긑!P+@ ,p/r0gYZ7zXZִF! X]ŗXi%6uT P(QÒt#HwYAT=5 Sq?4̣r~hJ8Q%` +dHwsRʔRBTYi-#ߨtso 8UDZgbpł0Lht:u%yB;D Ve3ݗP*}cbc$>]UbbvEWr4/ Kz%!'~d8ο)Zy )Km(ǥpz=IV*>vZ=Q2_&3~ܾ@Нk]yu-C =C-l,#wZ/34N)4zH˽<]rU4SQ$..C2߸!UWK`wٯ>ُ(hԆ\˸C7Uȶanz{ad=0Gbݾ4~0+IK7>z(4 ~-l a ?TcF<>pha))Bv>rɊ$:">N*XK YYw̻h(O%v!DA,"OO(tjY<gI4a,E&"$GլMVC}Ŧ²/cl,LU%SM85, !g=wvlВCkU@\\^ 1eW𿼤CzG tf2ɜF$*^lvU.oHHjvƼN5 ϟ5H{k6zg%@E5d&FD_ iϮW޿RЈ#$ >:KA.$d&ٰ ܤ;*'KK/ZB5&ձCq9쁮y:vKJ&13=y>{W6d4xtIzd,@w ]*l> 7ԧ~in-.<-"ڲ{Z&KʁkW$%`5T\7P?KC}d8hUh^-[ػUڮ4<\AۨKR.}ShUW;"ݵTDZyFRLJbŌ{'!&|ߏ &FS9i>n}Hs;m'Dpc0mKR^բGd#S βEa!34d?ILՅǪ2d #!Ú 8bC h: XxR *YkgR|-M7̺d=e&w+A?΢7L>?ۧm-X_ MjrfR$}A)$Rф4@uW΀]70~V7`q!_PΑY?.󿒐1L.G"n}U wS.5Ed%`Ȗ`5dY& /AuHL2 V)(7%2h;A5ٛWcY/kJn6UѫIUD3Rh Ƈ gYZ1051a97ca4dba3e87dc5c297e2145aeb26f22964 2fa775cb15a07292c23c73502e8bef8503ea8948 508b2d36791ba85be83bfedc4df2dfd56feb8732 55b5593ab647f53d681191494ef1db306b4a7c81 756347eaaaf55c85fca5bf27d207e788dadd292e 862cf3ac8c1fecce1262b05b9e772d879c94fa33 92b9e9176524ff95e7cfe95462176a72c371e9b8 9854ac0e00f34a51c98cbc66526d7c94fc510ddf a61377a4a5503ba829c56f054abc05ee2e02754b c98ee4ea2164dc2e1fda68947cbbdf0953045a67 da59368582700ed264615c0ca27df948c057a4aa e2b063405e84056d48c35f74dc2f5e30c318a3ad e5beb664674ee70579a51d05e32d4cfec7e8991e ebb19963ce287e01eecd0a1f20242b5c859941a0 ed0255784afbeac0c08a5cf550c22b708149a89a f169fce37d50a4aa0aac9bb83c87d83fbc5d25fce4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d + GraphMarkingIBP