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  , ,I) 4 wI Floyd_Warshall:threads=2elapsed=24.771cpu=43.752gc=1.512factor=1.777zXZִF! S]ŗXf1-/6vRZrS?rhg!;4  8,a/ʊzmŹå8!C$d;撚e{?Dadvѐ0e﬍T1 h+uSEjo)N ƮHzs$u{_yO8kENqƆbbAdYc=g\zuN>M#Z{M+'sZwQ~Xnҁ|{_R>UcwjTU9e OX9+J7&-0r5*9`{D9CcV)O8wċpq@zvs}w+[}C{5Tf|޵I-gRm=)~J/B}:%hM6ߙ a90|)Ci#-vz3 0|+~`U&>֏8fU%>Par\Ʋ I}8u["11L21 2(m|7$4p`Vp77P 趗݂Zeޚ% xDЇ6l U/Q_!_ ؞qEn+z qygRp80Ld0NeR=}v1[*JrYqV*yqLK*9V)UP hq ϿdUMP1l*-Z:ä0>\=TaqZRhbjabVX (Kĵ ZcɖѬGt:f9+ HR10b7qߗ2(VF8e@'L=qu'q 5GiP>~9#cI}# = a|͙q^yg3@B'-itHVʓ8Q@\) 6aW;L6.FqNp mzFvSN8yz"9xZЃ8:1+{P䒗YRG{I'SO?PEore嚍]P&h~j'o_-|[\k;:|6 #Iނ%W.L`4)0Mh+ 2hCLF\4ka,˻{߆2iªv:r{gm,m'25%)+e.Ceș؞!u0h=RC[$I┯ gӳvMv$mN=@|gWUyCw_<4&vHXkLӠN p ,!o1MVQ u$5e<͢R@ChxO3Ɂy6t4ZcVA;wneuI,';춶S%"Р_5v͟>lPe̾gW}9P?J+nFڕ3 5G6@^B L%ma!`0  Vӽ |L恮Ph'aS9ASP5%< T[\jDDTmvt+5m֥ŅHXrDDTcٛ%lܤr/H閉-2-ײ#+}ϨΑ]Ridj{ z X⹆DxƄVWڲ6|J"9 !+;gJ̼wCnRtҍ_;37`@RlpU)|#1?/1zMZDoe-wdUș0sq!%pgYZ7zXZִF! |]ŗXi%sցZ谉EE)VmUe}pjZzS5۰)[ߣ{؃-hN>`\"bzLFߡH0ILe+bJOo3*_\7}# 'HkbqQ$A_?EGNK#K#-?'ڞ FΞ 0|֫x:w%_fs "4x0/\Tn_&'/iS:O0}2nۼy$k̝)\y,jSTA /5n2%/3f8}ne-@|%uPVFSLb`lyře51Wv#OUf4OzU|%W> mԝKL-Q9^2ZN4Tq/%BVd%oC} 3PƔ`n !𸣞k+Iet)vWytEK^Rk"S\)뗲mq[+l9@CtCF˃h\-9$uQ*=>2b 4J,[ Ʉ̑3Kؐ$`#`ga~)IZTaA4Ւ+ rq,si\fl"![JcǷ]&0kxk]`.HvNvdx{ߞJz H3nE ?JϪ'- ?-Gvcp {W-AC|Nj9⟷ܿ6!GMʕRgzz-:<{l¶Myhs&[ݔ i򿱝4 u΢U'G49WGŃd[9d \:JȽ׫Ş Ҵ^3k 5kB-Ue "p8uh̯@iٱșE1f^#)c+ݾ7¯ebb%#`g!8֪_rjy`w ;oov;*!Ihuc±Ckod@E"j PұgYZ1033aa60eda69a17840d1e5c0c0048783e787ea8 37c25b43aad1793f0281b4ef55529966555d5b1f 38fd2b638a988fe6c2325cc9da704d4ec00c4bc7 6a33a4287663136f15fd858b740c2bd53b37f3d6 8cfe2ac6d815ee4b6ba79e3b49e0d29a73ae7a34 d2fa41e5a05f70239177f175014ace5498e628b29711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 1cddd12c4120c2310ea3898d8a358d72c9b751ff d897491c3fc457ae4d3d53294109222f3c8eee76 9f99ccadfdf7f2164f003807f47ce8523843d3b4 aaf2c61b2a9a5c355769090fa02d8b62178ab011 698677bc4b26325bec04285edc1cc75dbffeea35